isabelle: src/HOL/Library/Library/document/root.tex@fcdd4346fa6b (annotated)

12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	1
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	2	% $Id$
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	3
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	4	\documentclass[11pt,a4paper]{article}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	5	\usepackage{ifthen}
12816 668073849ca9 fixed document setup of HOL-Library; wenzelm parents: 12811 diff changeset	6	\usepackage[latin1]{inputenc}
22366 f4840bfffe5d \usepackage{amssymb}; wenzelm parents: 21192 diff changeset	7	\usepackage{isabelle,isabellesym,amssymb}
f4840bfffe5d \usepackage{amssymb}; wenzelm parents: 21192 diff changeset	8	\usepackage{pdfsetup}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	9
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	10	\urlstyle{rm}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	11	\isabellestyle{it}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	12	\pagestyle{myheadings}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	13
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	14	\begin{document}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	15
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	16	\title{The Supplemental Isabelle/HOL Library}
16763 14443b31ef47 moved Davenport citation to Main, removed author list nipkow parents: 14706 diff changeset	17	\author{}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	18	\maketitle
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	19
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	20	\tableofcontents
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	21	\newpage
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	22
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	23	\renewcommand{\isamarkupheader}[1]%
22665 cf152ff55d16 tuned document (headers, sections, spacing); wenzelm parents: 22366 diff changeset	24	{\ifthenelse{\equal{#1}{}}{\section{\isabellecontext}}{\section{\isabellecontext: #1}}%
cf152ff55d16 tuned document (headers, sections, spacing); wenzelm parents: 22366 diff changeset	25	\markright{THEORY~``\isabellecontext''}}
21192 5fe5cd5fede7 added state monad to HOL library haftmann parents: 16763 diff changeset	26	\renewcommand{\isasymguillemotright}{$\gg$}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	27
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	28	\input{session}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	29
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	30	\pagestyle{headings}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	31	\bibliographystyle{abbrv}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	32	\bibliography{root}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	33
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	34	\end{document}

author	wenzelm
	Thu, 31 May 2007 18:16:59 +0200
changeset 23168	fcdd4346fa6b
parent 23101	1a05d89feeaf
child 26590	9114b5fe533a
permissions	-rw-r--r--