twelf - Revision 1901: /tags/pre-roberto/examples/ccc

• ..
• README
• abs-env.elf
• catlem.elf
• ccc.elf
• conc.elf
• conc.thm
• cong.elf
• eqpres1.elf
• eqpres2.elf
• examples.quy
• inv1.elf
• inv2.elf
• lambda.elf
• pf.dvi
• refl.elf
• sources.cfg
• spass.cfg
• spass.elf
• spass.sml
• subext.elf
• test.cfg