| 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 |
| Tue, 13 Jun 2006 23:41:37 +0200 | wenzelm | avoid unqualified exception names; | changeset | files |
| Tue, 13 Jun 2006 23:41:34 +0200 | wenzelm | ProjectRule now context dependent; | changeset | files |
| 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 |
| Tue, 13 Jun 2006 15:07:58 +0200 | paulson | new results | changeset | files |
| Tue, 13 Jun 2006 15:07:47 +0200 | paulson | removal of the obsolete "infinite_nonempty" | changeset | files |
| Mon, 12 Jun 2006 22:14:38 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 12 Jun 2006 21:19:07 +0200 | wenzelm | added declare_typ; | changeset | files |
| Mon, 12 Jun 2006 21:19:06 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 12 Jun 2006 21:19:05 +0200 | wenzelm | tuned interfaces; | changeset | files |
| Mon, 12 Jun 2006 21:19:04 +0200 | wenzelm | added matchers, matches_list; | changeset | files |