gt -atoms

This commit is contained in:
aarne
2005-10-12 11:38:29 +00:00
parent cbcac43e31
commit 5729a03678
11 changed files with 51 additions and 26 deletions

View File

@@ -2,6 +2,8 @@
abstract Numerals = {
flags startcat=Numeral ;
cat
Numeral ; -- 0..
Digit ; -- 2..9