| Mon, 20 Sep 1999 10:40:08 +0200 | paulson | now uses Pattern.aeconv, not aconv, to test equality between the terms | changeset | files |
| Fri, 17 Sep 1999 10:31:38 +0200 | paulson | new rule PLam_ensures | changeset | files |
| Fri, 10 Sep 1999 18:40:06 +0200 | paulson | working snapshot | changeset | files |
| Fri, 10 Sep 1999 18:37:04 +0200 | paulson | new theorem image_image_eq_UN | changeset | files |
| Fri, 10 Sep 1999 17:28:51 +0200 | wenzelm | The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar) | changeset | files |
| Thu, 09 Sep 1999 19:01:37 +0200 | wenzelm | added no_prems; | changeset | files |
| Thu, 09 Sep 1999 14:30:08 +0200 | oheimb | minor change to smp_tac | changeset | files |