1
0
forked from GitHub/gf-rgl

gt -atoms

This commit is contained in:
aarne
2005-10-12 11:38:29 +00:00
parent 762634a7e6
commit 40b0afac49
3 changed files with 6 additions and 1 deletions

View File

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