twelf - Revision 1901: /branches/twelf-mod/examples-mod

• ..
• algebra.cfg
• algebra.elf
• catalog-test.elf
• catalog-test2.elf
• catalog-test3.elf
• church-rosser/
• coveragetest.elf
• fol.elf
• guide.cfg
• guide.elf
• handbook/
• kolm.cfg
• kolm.elf
• lambda-cube/
• lattice.cfg
• lattice.elf
• lists.elf
• logrel.elf
• mini-ml-variant.elf
• mini-ml.cfg
• mini-ml.elf
• mltt.elf
• morphism.elf
• object-idea.elf
• pl-sound.cfg
• pl-sound.elf
• plsound.cfg
• plsound.elf
• test.cfg
• test.elf
• test2.elf
• test3.elf