twelf - Revision 1901: /branches/twelf-dist/examples/mini-ml

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