twelf - Revision 1901: /branches/pwg-module/examples/mini-ml

• ..
• README
• closed.elf
• eval.elf
• eval1.elf
• eval2.elf
• examples.quy
• examples1.quy
• mini-ml.elf
• reduce.elf
• reduce.thm
• sources.cfg
• sources1.cfg
• test.cfg
• tp-preserve.elf
• tp-preserve.thm
• tp.elf
• tpinf.elf
• val-sound.elf
• val-sound.thm
• value.elf