| Tue, 13 Jun 2006 23:41:47 +0200 | wenzelm | (un)varify: tuned exceptions; | changeset | files |
| Tue, 13 Jun 2006 23:41:44 +0200 | wenzelm | removed weak_eq_thm; | changeset | files |
| Tue, 13 Jun 2006 23:41:41 +0200 | wenzelm | Drule.equiv_thm supercedes Drule.weak_eq_thm; | changeset | files |
| Tue, 13 Jun 2006 23:41:39 +0200 | wenzelm | tuned; | changeset | files |