twelf - Revision 1901: /branches/twelf-1-2f2/examples/prop-calc

• ..
• README
• equiv.elf
• equiv.thm
• examples.quy
• prop-calc.elf
• sources.cfg
• test.cfg