1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Hahn_Banach/ROOT.ML	Wed Jun 24 21:46:54 2009 +0200
     1.3 @@ -0,0 +1,7 @@
     1.4 +(*  Title:      HOL/Hahn_Banach/ROOT.ML
     1.5 +    Author:     Gertrud Bauer, TU Munich
     1.6 +
     1.7 +The Hahn-Banach theorem for real vector spaces (Isabelle/Isar).
     1.8 +*)
     1.9 +
    1.10 +use_thy "Hahn_Banach";