added SymbNum and SymbOrd in Symbol

2006-11-12 13:42:50 +00:00
parent 65a0009c83
commit 7c327a3598
5 changed files with 14 additions and 1 deletions
--- a/resource-1.0/mathematical/Symbol.gf
+++ b/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