src/HOL/Real/HahnBanach/ROOT.ML
1999-10-25 wenzelm 1999-10-25 update by Gertrud Bauer;
1999-10-08 wenzelm 1999-10-08 update from Gertrud;
1999-09-10 wenzelm 1999-09-10 The Hahn-Banach theorem for real vectorspaces (Isabelle/Isar) (by Gertrud Bauer, TU Munich);