| 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 |
| Thu, 09 Sep 1999 13:24:26 +0200 | wenzelm | fixed url; | changeset | files |
| Thu, 09 Sep 1999 12:26:45 +0200 | wenzelm | AddXDs [bspec]; | changeset | files |
| Thu, 09 Sep 1999 12:25:44 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 09 Sep 1999 12:25:30 +0200 | wenzelm | AddXIs [disjI1, disjI2]; | changeset | files |
| Thu, 09 Sep 1999 12:25:01 +0200 | wenzelm | removed obsolete comment; | changeset | files |
| Wed, 08 Sep 1999 23:49:39 +0200 | wenzelm | lemma less_add; | changeset | files |
| Wed, 08 Sep 1999 18:10:39 +0200 | wenzelm | (un)fold: ignore facts; | changeset | files |