     1.1 --- a/src/HOL/HahnBanach/HahnBanachLemmas.thy	Wed Jun 24 21:28:02 2009 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,4 +0,0 @@
     1.4 -(*<*)
     1.5 -theory HahnBanachLemmas imports HahnBanachSupLemmas HahnBanachExtLemmas begin
     1.6 -end
     1.7 -(*>*)
     1.8 \ No newline at end of file
changeset 31795	be3e1cc5005c
parent 31794	71af1fd6a5e4
child 31797	294b955d0e80
child 31799	117300d72398