twelf - Revision 1901: /branches/pwg-module/examples/cut-elim

• ..
• README
• cl-admit.elf
• cl-cut.elf
• cl-elim.elf
• cl.elf
• cl.thm
• cover/
• examples.quy
• formulas.elf
• int-admit.elf
• int-cut.elf
• int-elim.elf
• int.elf
• int.thm
• sources.cfg
• test.cfg