src/HOL/Hahn_Banach/Hahn_Banach_Lemmas.thy
Wed, 24 Jun 2009 21:46:54 +0200 wenzelm standard naming conventions for session and theories;
less more (0) tip