twelf - Revision 1901: /branches/pwg-module/exercises/opt-eval

• ..
• README
• eval.elf
• examples.quy
• mini-ml.elf
• opt-equiv1.elf
• opt-equiv1.thm
• opt-equiv2.elf
• opt-equiv2.thm
• opt-eval.elf
• opt-mini-ml.elf
• opt-rep1.elf
• opt-rep2.elf
• sources.cfg
• test.cfg