--- a/src/HOL/Real/HahnBanach/HahnBanachLemmas.thy Tue Dec 30 08:18:54 2008 +0100+++ /dev/null Thu Jan 01 00:00:00 1970 +0000@@ -1,4 +0,0 @@-(*<*)-theory HahnBanachLemmas imports HahnBanachSupLemmas HahnBanachExtLemmas begin-end-(*>*)\ No newline at end of file