twelf - Revision 1901: /branches/twelf-atp/examples-clp/integers

• ..
• base.elf
• cfract.elf
• examples.quy
• integers.elf
• meta.elf
• sources.cfg
• test.cfg