twelf - Revision 1901: /branches/imogen-branch/src/inverse/inductive/elf

• ..
• bug.elf
• dlist.elf
• fol.elf
• lists.elf
• nat.elf
• nat.thm
• old.elf
• sources.cfg
• syn.imo