ArchEdit moved; spanish/Structural now works

This commit is contained in:
aarne
2005-03-30 11:41:12 +00:00
parent d465324279
commit 6cb79f531c
8 changed files with 1169 additions and 1154 deletions

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} ;