src/HOL/Hahn_Banach/Hahn_Banach_Lemmas.thy
author paulson <lp15@cam.ac.uk>
Mon May 23 15:33:24 2016 +0100 (2016-05-23)
changeset 63114 27afe7af7379
parent 62390 842917225d56
permissions -rw-r--r--
Lots of new material for multivariate analysis
     1 (*<*)
     2 theory Hahn_Banach_Lemmas imports Hahn_Banach_Sup_Lemmas Hahn_Banach_Ext_Lemmas begin
     3 end
     4 (*>*)