| 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 |
| Thu, 27 Apr 2006 15:06:42 +0200 | wenzelm | renamed Source.mapfilter to Source.map_filter; | changeset | files |