added SymbNum and SymbOrd in Symbol

2006-11-12 13:42:50 +00:00
parent fbd9b862e2
commit 7cdb45fb5a
5 changed files with 14 additions and 1 deletions
--- a/lib/resource-1.0/mathematical/Symbol.gf
+++ b/lib/resource-1.0/mathematical/Symbol.gf
@@ -22,7 +22,7 @@ fun
 --2 Symbols as numerals

  SymbNum  : Symb -> Num ;               -- n
-  SymbOrd  : Symb -> Num ;               -- n'th
+  SymbOrd  : Symb -> Ord ;               -- n'th

 --2 Symbol lists