changeset 29252 | ea97aa6aeba2 |
parent 29251 | 8f84a608883d |
parent 29205 | 7dc7a75033ea |
child 29253 | 3c6cd80a4854 |
child 29254 | ef3e2c3399d7 |
child 29332 | edc1e2a56398 |
1.1 --- a/src/HOL/Real/HahnBanach/ROOT.ML Tue Dec 30 08:18:54 2008 +0100 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,8 +0,0 @@ 1.4 -(* Title: HOL/Real/HahnBanach/ROOT.ML 1.5 - ID: $Id$ 1.6 - Author: Gertrud Bauer, TU Munich 1.7 - 1.8 -The Hahn-Banach theorem for real vector spaces (Isabelle/Isar). 1.9 -*) 1.10 - 1.11 -time_use_thy "HahnBanach";