author | wenzelm |
Thu, 27 Sep 2001 18:44:30 +0200 | |
changeset 11596 | fea20dc6b470 |
parent 11595 | 6ef2535fff93 |
child 11597 | cd6d2eddf75f |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/Real/ex/document/root.tex Thu Sep 27 18:44:30 2001 +0200 @@ -0,0 +1,19 @@ + +\documentclass[11pt,a4paper]{article} +\usepackage{isabelle,isabellesym,pdfsetup} +\usepackage[latin1]{inputenc} + +\urlstyle{rm} +\isabellestyle{it} + +\begin{document} + +\title{Miscellaneous HOL-Real Examples} +\maketitle + +\tableofcontents + +\parindent 0pt\parskip 0.5ex +\input{session} + +\end{document}