twelf - Revision 1901: /tags/twelf-1-2R8pl2/examples-clp/arith

• ..
• eval.elf
• parse.elf
• sources.cfg