1.1 --- a/src/HOL/Real/HahnBanach/ZornLemma.thy Sun Dec 14 18:45:51 2008 +0100
1.2 +++ b/src/HOL/Real/HahnBanach/ZornLemma.thy Mon Dec 15 18:12:52 2008 +0100
1.3 @@ -1,5 +1,4 @@
1.4 (* Title: HOL/Real/HahnBanach/ZornLemma.thy
1.5 - ID: $Id$
1.6 Author: Gertrud Bauer, TU Munich
1.7 *)
1.8