src/HOL/Hahn_Banach/document/root.bib
author wenzelm
Mon Apr 25 16:09:26 2016 +0200 (2016-04-25)
changeset 63040 eb4ddd18d635
parent 31795 be3e1cc5005c
permissions -rw-r--r--
eliminated old 'def';
tuned comments;
     1 
     2 @Book{Heuser:1986,
     3   author = 	 {H. Heuser},
     4   title = 	 {Funktionalanalysis: Theorie und Anwendung},
     5   publisher = 	 {Teubner},
     6   year = 	 1986
     7 }
     8 
     9 @InCollection{Narici:1996,
    10   author = 	 {L. Narici and E. Beckenstein},
    11   title = 	 {The {Hahn-Banach Theorem}: The Life and Times},
    12   booktitle = 	 {Topology Atlas},
    13   publisher =	 {York University, Toronto, Ontario, Canada},
    14   year =	 1996,
    15   note =	 {\url{http://at.yorku.ca/topology/preprint.htm} and
    16                   \url{http://at.yorku.ca/p/a/a/a/16.htm}}
    17 }
    18 
    19 @Article{Nowak:1993,
    20   author =       {B. Nowak and A. Trybulec},
    21   title =	 {{Hahn-Banach} Theorem},
    22   journal =      {Journal of Formalized Mathematics},
    23   year =         {1993},
    24   volume =       {5},
    25   institution =  {University of Bialystok},
    26   note =         {\url{http://mizar.uwb.edu.pl/JFM/Vol5/hahnban.html}}
    27 }