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

• ..
• elf/
• frame.sig
• frame.sml
• ind-util.sig
• ind.sig
• ind.sml
• notes.txt
• old.sml
• plus.elf
• scratch.sml
• sml-ext.cm
• sources.cm
• twelf-util.sig
• twelf-util.sml