wneuper/isa: src/HOL/Hahn_Banach/Hahn_Banach

src/HOL/Hahn_Banach/Hahn_Banach_Lemmas.thy

author	wenzelm
	Wed, 24 Jun 2009 21:46:54 +0200
changeset 31795	be3e1cc5005c
parent 29197	src/HOL/HahnBanach/HahnBanachLemmas.thy@6d4cb27ed19c
child 59324	ec559c6ab5ba
permissions	-rw-r--r--

standard naming conventions for session and theories;

     1 (*<*)

     2 theory Hahn_Banach_Lemmas imports Hahn_Banach_Sup_Lemmas Hahn_Banach_Ext_Lemmas begin

     3 end

     4 (*>*)

wneuper/isa