(*  Title:      HOL/Real/HahnBanach/ROOT.ML
    ID:         $Id: ROOT.ML,v 1.7 2005/09/05 15:39:12 wenzelm Exp $
    Author:     Gertrud Bauer, TU Munich

The Hahn-Banach theorem for real vector spaces (Isabelle/Isar).
*)

time_use_thy "HahnBanach";
