| Tue, 13 Jun 2006 23:41:31 +0200 | wenzelm | use Drule.unvarify instead of obsolete Drule.freeze_all; | changeset | files |
| Tue, 13 Jun 2006 15:42:52 +0200 | dixon | corrected w.r.t. search order for subst. | changeset | files |
| Tue, 13 Jun 2006 15:42:19 +0200 | dixon | Corrected search order for zippers. | changeset | files |