twelf - Revision 1901: /branches/twelf-1-2b1/TEST

• ..
• all-nt.sml
• all.sml
• constr.elf
• lexing.elf
• location.elf
• misc.elf
• modes.elf
• parsing.elf
• solving.elf
• strict.elf
• term.elf
• test.cfg
• tprecon.elf