twelf - Revision 1901: /tags/twelf-1-3R3/examples/lp-horn

• ..
• canon.elf
• conv.elf
• examples.quy
• iscan.elf
• natded.elf
• sources.cfg
• test.cfg
• uni-can.elf
• uni-can.thm
• uni-complete.elf
• uni-complete.thm
• uni-sound.elf
• uni-sound.thm
• uniform.elf