twelf - Revision 1901: /branches/pwg-module/examples/module-test/directive-unit-tests

• ..
• RESULTS
• RESULTS-SUMMARY
• TESTS
• natplus-module-include-redec.elf
• natplus-module-open-all.elf
• natplus-module-open-nat.elf
• natplus-module-redec.elf
• natplus.elf
• test-abbrev.elf
• test-assert.elf
• test-define.elf
• test-freeze.elf
• test-mode.elf
• test-name.elf
• test-prove.elf
• test-reduces.elf
• test-solve.elf
• test-terminates.elf
• test-unique-bad.elf
• test-unique.elf
• tests.sml