Fri, 24 Sep 1999 17:18:51 +0200 | wenzelm | * HOL/Real/HahnBanach: the Hahn-Banach theorem for real vector spaces | changeset | files |
Fri, 24 Sep 1999 16:33:57 +0200 | paulson | working version with co-guarantees-leadsto results | changeset | files |
Fri, 24 Sep 1999 15:28:12 +0200 | wenzelm | tuned; | changeset | files |