tidied
authorpaulson
Thu Jul 29 16:14:06 2004 +0200 (2004-07-29)
changeset 1508407f7b158ef32
parent 15083 a471fd1d9961
child 15085 5693a977a767
tidied
src/HOL/Real/HahnBanach/document/root.tex
     1.1 --- a/src/HOL/Real/HahnBanach/document/root.tex	Thu Jul 29 12:15:53 2004 +0200
     1.2 +++ b/src/HOL/Real/HahnBanach/document/root.tex	Thu Jul 29 16:14:06 2004 +0200
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  \documentclass[10pt,a4paper,twoside]{article}
     1.6  \usepackage{graphicx}
     1.7  \usepackage{latexsym,theorem}
     1.8 @@ -37,10 +36,10 @@
     1.9  \section{Preface}
    1.10  
    1.11  This is a fully formal proof of the Hahn-Banach Theorem. It closely follows
    1.12 -the informal presentation given in the textbook \cite[{\S} 36]{Heuser:1986}.
    1.13 +the informal presentation given in Heuser's textbook \cite[{\S} 36]{Heuser:1986}.
    1.14  Another formal proof of the same theorem has been done in Mizar
    1.15  \cite{Nowak:1993}.  A general overview of the relevance and history of the
    1.16 -Hahn-Banach Theorem is given in \cite{Narici:1996}.
    1.17 +Hahn-Banach Theorem is given by Narici and Beckenstein \cite{Narici:1996}.
    1.18  
    1.19  \medskip The document is structured as follows.  The first part contains
    1.20  definitions of basic notions of linear algebra: vector spaces, subspaces,