isabelle: src/HOL/HOLCF/Tutorial/document/root.tex@59cc4a8bc28a (annotated)

37000 41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	1
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	2	% HOLCF/document/root.tex
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	3
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	4	\documentclass[11pt,a4paper]{article}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	5	\usepackage{graphicx,isabelle,isabellesym,latexsym}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	6	\usepackage[only,bigsqcap]{stmaryrd}
40945 b8703f63bfb2 recoded latin1 as utf8; wenzelm parents: 40774 diff changeset	7	\usepackage{textcomp}
37000 41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	8	\usepackage{pdfsetup}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	9
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	10	\urlstyle{rm}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	11	%\isabellestyle{it}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	12	\pagestyle{myheadings}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	13
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	14	\begin{document}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	15
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	16	\title{Isabelle/HOLCF Tutorial}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	17	\maketitle
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	18
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	19	\tableofcontents
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	20
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	21	%\newpage
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	22
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	23	%\renewcommand{\isamarkupheader}[1]%
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	24	%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	25
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	26	\parindent 0pt\parskip 0.5ex
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	27	\input{session}
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	28
41a22e7c1145 move some example files into new HOLCF/Tutorial directory huffman parents: diff changeset	29	\end{document}

author	blanchet
	Fri, 14 Feb 2014 15:03:24 +0100
changeset 55480	59cc4a8bc28a
parent 40945	b8703f63bfb2
child 58867	911addd19e9f
permissions	-rw-r--r--