twelf - Revision 1901: /branches/simple-opsem/TEST

• ..
• all-nt.sml
• all.sml
• anonymous.elf
• constr.elf
• constr2.elf
• cp.elf
• cp2nd.sml
• cp3rd.sml
• cr.sml
• kevin.elf
• lexing.elf
• location.elf
• m.sml
• meta.sml
• misc.elf
• modes.elf
• occurs.elf
• parsing.elf
• skolem.sml
• solving.elf
• strict.elf
• term.elf
• test.cfg
• tprecon.elf
• unsafe.sml
• uscore.elf