isabelle: src/HOL/Library/Library/document/root.tex@71590b7733b7 (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}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	7	\usepackage{isabelle,isabellesym,pdfsetup}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	8
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	9	\urlstyle{rm}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	10	\isabellestyle{it}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	11	\pagestyle{myheadings}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	12
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	13	\begin{document}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	14
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	15	\title{The Supplemental Isabelle/HOL Library}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	16	\author{
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	17	Gertrud Bauer \\
14706 71590b7733b7 tuned document; wenzelm parents: 14589 diff changeset	18	Jacques D Fleuriot \\
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	19	Tobias Nipkow \\
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	20	David von Oheimb \\
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	21	Lawrence C Paulson \\
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	22	Thomas M Rasmussen \\
14589 feae7b5fd425 tuned document; wenzelm parents: 12816 diff changeset	23	Stefan Richter \\
feae7b5fd425 tuned document; wenzelm parents: 12816 diff changeset	24	Sebastian Skalberg \\
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	25	Christophe Tabacznyj \\
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	26	Markus Wenzel}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	27	\maketitle
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	28
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	29	\tableofcontents
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	30	\newpage
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	31
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	32	\renewcommand{\isamarkupheader}[1]%
14706 71590b7733b7 tuned document; wenzelm parents: 14589 diff changeset	33	{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	34
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	35	\parindent 0pt \parskip 0.5ex
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	36	\input{session}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	37
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	38	\pagestyle{headings}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	39	\bibliographystyle{abbrv}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	40	\bibliography{root}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	41
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	42	\end{document}

author	wenzelm
	Thu, 06 May 2004 14:14:18 +0200
changeset 14706	71590b7733b7
parent 14589	feae7b5fd425
child 16763	14443b31ef47
permissions	-rw-r--r--