twelf - Revision 1901: /branches/pwg-module/examples/prop-calc

• ..
• README
• equiv.elf
• equiv.thm
• examples.quy
• nd.elf
• nd.tex
• ndclass.elf
• prop-calc-solution.elf
• prop-calc.elf
• sources.cfg
• test.cfg
• thm1.elf
• thm2.elf
• thm3.elf