1.1 --- a/src/HOL/HahnBanach/document/root.bib	Wed Jun 24 21:28:02 2009 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,27 +0,0 @@
     1.4 -
     1.5 -@Book{Heuser:1986,
     1.6 -  author = 	 {H. Heuser},
     1.7 -  title = 	 {Funktionalanalysis: Theorie und Anwendung},
     1.8 -  publisher = 	 {Teubner},
     1.9 -  year = 	 1986
    1.10 -}
    1.11 -
    1.12 -@InCollection{Narici:1996,
    1.13 -  author = 	 {L. Narici and E. Beckenstein},
    1.14 -  title = 	 {The {Hahn-Banach Theorem}: The Life and Times},
    1.15 -  booktitle = 	 {Topology Atlas},
    1.16 -  publisher =	 {York University, Toronto, Ontario, Canada},
    1.17 -  year =	 1996,
    1.18 -  note =	 {\url{http://at.yorku.ca/topology/preprint.htm} and
    1.19 -                  \url{http://at.yorku.ca/p/a/a/a/16.htm}}
    1.20 -}
    1.21 -
    1.22 -@Article{Nowak:1993,
    1.23 -  author =       {B. Nowak and A. Trybulec},
    1.24 -  title =	 {{Hahn-Banach} Theorem},
    1.25 -  journal =      {Journal of Formalized Mathematics},
    1.26 -  year =         {1993},
    1.27 -  volume =       {5},
    1.28 -  institution =  {University of Bialystok},
    1.29 -  note =         {\url{http://mizar.uwb.edu.pl/JFM/Vol5/hahnban.html}}
    1.30 -}