ArchEdit moved; spanish/Structural now works

This commit is contained in:
aarne committed 2005-03-30 11:41:12 +00:00
1 parent 30f61040a0
commit a6e533d264
7 files changed
+1139 -1154

No files matched your search

-5
View File
@@ -2,11 +2,6 @@ concrete NumeralsIta of Numerals = open Prelude, TypesIta, MorphoIta, SyntaxIta
lincat
--Digit = {s : DForm => Str} ;
--lincat Sub10 = {s : DForm => Str ; n : Number} ;
--lincat Sub100 = {s : Str ; n : Number} ;
--lincat Sub1000 = {s : Str ; n : Number} ;
--lincat Sub1000000 = {s : Str} ;
Numeral = {s : Gender => Str ; n : Number} ;
Digit = {s : DForm => Str} ;
Sub10 = {s : DForm => Gender => Str ; n : Number} ;