Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/document/root.tex
author paulson <lp15@cam.ac.uk>
Wed, 23 May 2018 21:31:41 +0100
changeset 68257 e6e131577536
parent 61977 f55f28132128
child 73404 299f6a8faccc
permissions -rw-r--r--
small tidy-up of Complex_Transcendental
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12811
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset 
     1
 
\documentclass[11pt,a4paper]{article}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset 
     2
 
\usepackage{ifthen}
40945
b8703f63bfb2 recoded latin1 as utf8;
wenzelm
parents: 37848
diff changeset 
     3
 
\usepackage[utf8]{inputenc}
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}















isabelle