twelf - Revision 1901: /branches/twelf-hlf/examples-hlf/misc

• ..
• and.elf
• basics.elf
• cps.elf
• diseq.elf
• full.elf
• lol.elf
• one.elf
• onel.elf
• plus.elf
• sowreap.elf
• subno.elf
• subnom.elf
• subst.elf
• tensor.elf
• top.elf
• triv.elf
• trivl.elf
• zero.elf
• zerotop.elf
• zerotop2.elf