restricted Cat import in Numeral (for some languages; to do more)

This commit is contained in:
aarne
2010-09-29 07:07:07 +00:00
parent d85c491451
commit 303b3f4700
7 changed files with 7 additions and 7 deletions

View File

@@ -1,4 +1,4 @@
concrete NumeralFre of Numeral = CatFre **
concrete NumeralFre of Numeral = CatFre [Numeral,Digits] **
open CommonRomance, ResRomance, MorphoFre, Prelude in {
-- originally written in 1998, automatically translated to current notation...