From e470c6281fc2ee7f53fa0ae41d76c30bb52b0f0b Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 10 Nov 2003 15:45:42 +0000
Subject: New numeral grammars.

---
 grammars/numerals/Numerals.gf | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'grammars/numerals/Numerals.gf')

diff --git a/grammars/numerals/Numerals.gf b/grammars/numerals/Numerals.gf
index c0e293059..b725070dc 100644
--- a/grammars/numerals/Numerals.gf
+++ b/grammars/numerals/Numerals.gf
@@ -1,4 +1,4 @@
--- numerals from 1 to 999999 in decimal notation. AR 1998 -- 2003
+-- numerals from 1 to 999999 in decimal notation
 
 abstract Numerals = {
 
@@ -31,10 +31,4 @@ fun
   pot2as3 : Sub1000 -> Sub1000000 ;             -- coercion of 1..999
   pot3 : Sub1000 -> Sub1000000 ;                -- m * 1000
   pot3plus : Sub1000 -> Sub1000 -> Sub1000000 ; -- m * 1000 + n
-
-data
-  Numeral = num ;
-  Digit = n2 | n3 | n4 | n5 | n6 | n7 | n8 | n9 ;
-  Sub10 = pot01 | pot0 ;
-  Sub100 = pot110 | pot111 | pot1to19 | pot0as1 | pot1 | pot1plus ;
 }
-- 
cgit v1.2.3