src/HOL/HahnBanach/Subspace.thy
2009-03-26 wenzelm 2009-03-26 interpretation/interpret: prefixes are mandatory by default;
2008-12-30 ballarin 2008-12-30 Merged.
2008-12-29 haftmann 2008-12-29 adapted HOL source structure to distribution layout