standard naming conventions for session and theories; --HG-- rename : src/HOL/HahnBanach/Bounds.thy => src/HOL/Hahn_Banach/Bounds.thy rename : src/HOL/HahnBanach/FunctionNorm.thy => src/HOL/Hahn_Banach/Function_Norm.thy rename : src/HOL/HahnBanach/FunctionOrder.thy => src/HOL/Hahn_Banach/Function_Order.thy rename : src/HOL/HahnBanach/HahnBanach.thy => src/HOL/Hahn_Banach/Hahn_Banach.thy rename : src/HOL/HahnBanach/HahnBanachExtLemmas.thy => src/HOL/Hahn_Banach/Hahn_Banach_Ext_Lemmas.thy rename : src/HOL/HahnBanach/HahnBanachLemmas.thy => src/HOL/Hahn_Banach/Hahn_Banach_Lemmas.thy rename : src/HOL/HahnBanach/HahnBanachSupLemmas.thy => src/HOL/Hahn_Banach/Hahn_Banach_Sup_Lemmas.thy rename : src/HOL/HahnBanach/Linearform.thy => src/HOL/Hahn_Banach/Linearform.thy rename : src/HOL/HahnBanach/NormedSpace.thy => src/HOL/Hahn_Banach/Normed_Space.thy rename : src/HOL/HahnBanach/README.html => src/HOL/Hahn_Banach/README.html rename : src/HOL/HahnBanach/ROOT.ML => src/HOL/Hahn_Banach/ROOT.ML rename : src/HOL/HahnBanach/Subspace.thy => src/HOL/Hahn_Banach/Subspace.thy rename : src/HOL/HahnBanach/VectorSpace.thy => src/HOL/Hahn_Banach/Vector_Space.thy rename : src/HOL/HahnBanach/ZornLemma.thy => src/HOL/Hahn_Banach/Zorn_Lemma.thy rename : src/HOL/HahnBanach/document/root.bib => src/HOL/Hahn_Banach/document/root.bib rename : src/HOL/HahnBanach/document/root.tex => src/HOL/Hahn_Banach/document/root.tex
|