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

12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	1	\documentclass[11pt,a4paper]{article}
73404 299f6a8faccc proper type-setting of cartouches (requires T1); wenzelm parents: 61977 diff changeset	2	\usepackage[T1]{fontenc}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	3	\usepackage{ifthen}
26590 9114b5fe533a \usepackage[english]{babel} (required for guillemots); wenzelm parents: 23101 diff changeset	4	\usepackage[english]{babel}
61977 f55f28132128 proper latex setup; wenzelm parents: 60078 diff changeset	5	\usepackage{amsmath,amssymb,stmaryrd,textcomp,wasysym}
f55f28132128 proper latex setup; wenzelm parents: 60078 diff changeset	6	\usepackage{isabelle,isabellesym}
22366 f4840bfffe5d \usepackage{amssymb}; wenzelm parents: 21192 diff changeset	7	\usepackage{pdfsetup}
12811 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}
16763 14443b31ef47 moved Davenport citation to Main, removed author list nipkow parents: 14706 diff changeset	16	\author{}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	17	\maketitle
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	18
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	19	\tableofcontents
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	20	\newpage
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	21
58881 b9556a055632 modernized header; wenzelm parents: 42484 diff changeset	22	\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
12811 894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	23
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	24	\input{session}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	25
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	26	\pagestyle{headings}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	27	\bibliographystyle{abbrv}
894da6aee971 moved document sources to proper place, within Library/Library (!); wenzelm parents: diff changeset	28	\bibliography{root}
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	\end{document}

author	wenzelm
	Sat, 13 Mar 2021 15:39:48 +0100
changeset 73427	97bb6ef3dbd4
parent 73404	299f6a8faccc
child 73595	aece5cc9efb7
permissions	-rw-r--r--