twelf - Revision 1901: /branches/pwg-module/examples/church-rosser

• ..
• README
• church-rosser.thm
• cr.thm
• equiv.elf
• examples.quy
• lam.elf
• ord-cr.elf
• ord-lemmas.elf
• ord-red.elf
• par-cr.elf
• par-lemmas.elf
• par-red.elf
• simplified/
• sources.cfg
• test-unsafe.cfg
• test.cfg
• test.tag