equal
deleted
inserted
replaced
2 %\documentclass[11pt,a4paper,twoside]{article} |
2 %\documentclass[11pt,a4paper,twoside]{article} |
3 |
3 |
4 \usepackage{latexsym,theorem} |
4 \usepackage{latexsym,theorem} |
5 \usepackage{isabelle,isabellesym,bbb} |
5 \usepackage{isabelle,isabellesym,bbb} |
6 \usepackage{pdfsetup} %last one! |
6 \usepackage{pdfsetup} %last one! |
|
7 \urlstyle{rm} |
7 |
8 |
8 \input{notation} |
9 \input{notation} |
9 |
10 |
10 \begin{document} |
11 \begin{document} |
11 |
12 |
12 \pagestyle{headings} |
13 \pagestyle{headings} |
13 \pagenumbering{arabic} |
14 \pagenumbering{arabic} |
14 |
15 |
15 \title{The Hahn-Banach Theorem for Real Vector Spaces} |
16 \title{The Hahn-Banach Theorem for Real Vector Spaces} |
16 |
|
17 \author{Gertrud Bauer \\ \url{http://www.in.tum.de/~bauerg/}} |
17 \author{Gertrud Bauer \\ \url{http://www.in.tum.de/~bauerg/}} |
18 \maketitle |
|
19 \maketitle |
18 \maketitle |
20 |
19 |
21 \begin{abstract} |
20 \begin{abstract} |
22 The Hahn-Banach Theorem is one of the most fundamental results in functional |
21 The Hahn-Banach Theorem is one of the most fundamental results in functional |
23 analysis. We present a fully formal proof of two versions of the theorem, |
22 analysis. We present a fully formal proof of two versions of the theorem, |