twelf - Revision 1901: /branches/twelfo-0-1/TEST

• ..
• all-nt.sml
• all.sml
• anonymous.elf
• clause.elf
• constr.elf
• constr2.elf
• cover.elf
• cp.elf
• cp2nd.sml
• cp3rd.sml
• cr.sml
• evenodd.elf
• kevin.elf
• lexing.elf
• location.elf
• m.sml
• meta.sml
• misc.elf
• modes.elf
• multimode.elf
• occurs.elf
• parsing.elf
• relfun.sml
• skolem.sml
• solving.elf
• strict.elf
• subord.elf
• term.elf
• test.cfg
• total.elf
• tprecon.elf
• unique.elf
• unsafe.sml
• uscore.elf
• worlds.elf