| 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 |