twelf - Revision 1901: /tags/twelf-1-3R5/examples-clp/base

• ..
• base.elf
• examples.quy
• sources.cfg
• test.cfg