| 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 |
| Thu, 27 Apr 2006 17:48:41 +0200 | berghofe | SplitAt -> chop | changeset | files |
| Thu, 27 Apr 2006 17:48:17 +0200 | berghofe | Adapted to new interface of add_axclass_i. | changeset | files |
| Thu, 27 Apr 2006 17:40:17 +0200 | nipkow | added zip/take/drop lemmas | changeset | files |
| Thu, 27 Apr 2006 15:06:42 +0200 | wenzelm | tuned; | changeset | files |