| Mon, 23 Aug 2004 17:06:18 +0200 | berghofe | Added function for "normalizing" absolute paths (i.e. dereferencing of | changeset | files |
| Mon, 23 Aug 2004 16:41:06 +0200 | webertj | new isatool dimacs2hol | changeset | files |
| Mon, 23 Aug 2004 16:35:53 +0200 | webertj | initial version | changeset | files |
| Fri, 20 Aug 2004 12:25:20 +0200 | paulson | new examples | changeset | files |
| Fri, 20 Aug 2004 12:21:03 +0200 | paulson | proof reconstruction for external ATPs | changeset | files |
| Fri, 20 Aug 2004 12:20:09 +0200 | paulson | fix to eliminate excessive case-splits in the recursion equations, by Luca Dixon | changeset | files |
| Thu, 19 Aug 2004 12:35:45 +0200 | nipkow | new import syntax | changeset | files |
| Thu, 19 Aug 2004 10:33:10 +0200 | nipkow | *** empty log message *** | changeset | files |