| Fri, 28 Apr 2006 15:58:30 +0200 | berghofe | Capitalized theory names. | changeset | files |
| Fri, 28 Apr 2006 15:55:38 +0200 | berghofe | New ROOT file for nominal datatype examples. | changeset | files |
| Fri, 28 Apr 2006 15:54:34 +0200 | berghofe | Renamed "nominal" theory to "Nominal". | changeset | files |
| Fri, 28 Apr 2006 15:53:47 +0200 | berghofe | New ROOT file for nominal datatype package. | changeset | files |
| Fri, 28 Apr 2006 06:05:19 +0200 | mengj | added some helper files for HOL goals/lemmas. Clauses have TPTP format. | changeset | files |
| Fri, 28 Apr 2006 05:59:32 +0200 | mengj | changed the functions for getting HOL helper clauses. | changeset | files |
| Fri, 28 Apr 2006 05:58:53 +0200 | mengj | removed the functions for getting HOL helper paths. | changeset | files |