wneuper/isa: src/HOL/HOLCF/document/root.tex@0437dbc127b3

     2 % HOLCF/document/root.tex

     4 \documentclass[11pt,a4paper]{article}

     5 \usepackage{graphicx,isabelle,isabellesym,latexsym}

     6 \usepackage[only,bigsqcap]{stmaryrd}

     7 \usepackage[latin1]{inputenc}

     8 \usepackage{pdfsetup}

    10 \urlstyle{rm}

    11 \isabellestyle{it}

    12 \pagestyle{myheadings}

    13 \newcommand{\isasymas}{\textsf{as}}

    14 \newcommand{\isasymlazy}{\isamath{\sim}}

    16 \begin{document}

    18 \title{Isabelle/HOLCF --- Higher-Order Logic of Computable Functions}

    19 \maketitle

    21 \tableofcontents

    23 \begin{center}

    24   \includegraphics[scale=0.45]{session_graph}

    25 \end{center}

    27 \newpage

    29 \renewcommand{\isamarkupheader}[1]%

    30 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}

    32 \parindent 0pt\parskip 0.5ex

    33 \input{session}

    35 \end{document}

author	huffman
	Sat, 27 Nov 2010 16:08:10 -0800
changeset 41022	0437dbc127b3
parent 35899	src/HOLCF/document/root.tex@12f09bf2c77f
child 41193	b8703f63bfb2
permissions	-rw-r--r--