src/HOL/Real/HahnBanach/Linearform.thy
Tue, 21 Sep 1999 17:31:20 +0200 wenzelm accomodate refined facts handling;
Fri, 10 Sep 1999 17:28:51 +0200 wenzelm The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar)
less more (0) tip