| 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 |