src/HOL/HOLCF/Tutorial/document/root.tex
changeset 40774 0437dbc127b3
parent 37000 41a22e7c1145
child 40945 b8703f63bfb2
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/HOLCF/Tutorial/document/root.tex	Sat Nov 27 16:08:10 2010 -0800
     1.3 @@ -0,0 +1,29 @@
     1.4 +
     1.5 +% HOLCF/document/root.tex
     1.6 +
     1.7 +\documentclass[11pt,a4paper]{article}
     1.8 +\usepackage{graphicx,isabelle,isabellesym,latexsym}
     1.9 +\usepackage[only,bigsqcap]{stmaryrd}
    1.10 +\usepackage[latin1]{inputenc}
    1.11 +\usepackage{pdfsetup}
    1.12 +
    1.13 +\urlstyle{rm}
    1.14 +%\isabellestyle{it}
    1.15 +\pagestyle{myheadings}
    1.16 +
    1.17 +\begin{document}
    1.18 +
    1.19 +\title{Isabelle/HOLCF Tutorial}
    1.20 +\maketitle
    1.21 +
    1.22 +\tableofcontents
    1.23 +
    1.24 +%\newpage
    1.25 +
    1.26 +%\renewcommand{\isamarkupheader}[1]%
    1.27 +%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
    1.28 +
    1.29 +\parindent 0pt\parskip 0.5ex
    1.30 +\input{session}
    1.31 +
    1.32 +\end{document}