changeset 7747 | ca4e3b75345a |
child 7808 | fd019ac3485f |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/Real/HahnBanach/document/root.tex Tue Oct 05 21:20:28 1999 +0200 @@ -0,0 +1,13 @@ + +\documentclass[11pt,a4paper]{article} +\usepackage{isabelle,pdfsetup} + +\begin{document} + +\title{The Hahn-Banach theorem for real vectorspaces} +\author{Gertrud Bauer} +\maketitle + +\input{session} + +\end{document}