| Name | Date | Size | |
|---|---|---|---|
| .. | 2016-03-25 20:00:16 | 28 | |
| asym.tptp | 2007-06-26 18:32:54 | 937 | |
| check.sh | 2007-09-03 11:37:28 | 392 | |
| checkMathServe.pl | 2007-06-26 18:32:54 | 1.8 KiB | |
| CMDL_tests.hs | 2013-11-29 03:57:59 | 24.9 KiB | |
| PrintTests.hs | 2016-03-25 20:00:16 | 16.5 KiB | |
| PrintTPTPTests.hs | 2016-03-25 20:00:16 | 7.7 KiB | |
| Sokrates.hs | 2016-03-25 20:00:16 | 2.4 KiB | |
| SPASSTest.het | 2007-07-25 17:04:12 | 4.9 KiB | |
| SPASSTest.hpf | 2007-06-26 18:32:54 | 97 |