added some words to complete resource test

This commit is contained in:
aarne
2008-06-20 16:08:22 +00:00
parent 8e5989362d
commit 2f8a83b883
6 changed files with 25 additions and 3 deletions

View File

@@ -30,7 +30,7 @@ fun
-- lexicon
UseInt : Int -> PN ;
UseInt : Int -> PN ;
Number : CN ;
Even, Odd, Prime : AP ;