src/HOL/document/root.tex
author wenzelm
Mon, 11 Sep 2023 19:30:48 +0200
changeset 78659 b5f3d1051b13
parent 73595 aece5cc9efb7
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
     1
\documentclass[11pt,a4paper]{article}
73404
299f6a8faccc proper type-setting of cartouches (requires T1);
wenzelm
parents: 72621
diff changeset
     2
\usepackage[T1]{fontenc}
12410
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
     3
\usepackage{graphicx,isabelle,isabellesym,latexsym}
61977
f55f28132128 proper latex setup;
wenzelm
parents: 58888
diff changeset
     4
\usepackage{amsmath}
15691
900cf45ff0a6 _(_|_) is now override_on
nipkow
parents: 15503
diff changeset
     5
\usepackage{amssymb}
40945
b8703f63bfb2 recoded latin1 as utf8;
wenzelm
parents: 30329
diff changeset
     6
\usepackage{textcomp}
15503
38616a65bfbd fixed latex problems by including bigsqcap
nipkow
parents: 14706
diff changeset
     7
\usepackage[only,bigsqcap]{stmaryrd}
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
     8
\usepackage{pdfsetup}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
     9
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    10
\urlstyle{rm}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    11
\isabellestyle{it}
14608
9f9d651d676b more elaborate header markup;
wenzelm
parents: 12737
diff changeset
    12
\pagestyle{myheadings}
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    13
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    14
\begin{document}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    15
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    16
\title{Isabelle/HOL --- Higher-Order Logic}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    17
\maketitle
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    18
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    19
\tableofcontents
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    20
12410
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    21
\begin{center}
17159
d5060118122e tuned size of included graph;
wenzelm
parents: 16764
diff changeset
    22
  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
12410
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    23
\end{center}
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    24
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    25
\newpage
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    26
58888
9537bf1c4853 prefer \setisabellecontext;
wenzelm
parents: 40945
diff changeset
    27
\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
14608
9f9d651d676b more elaborate header markup;
wenzelm
parents: 12737
diff changeset
    28
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    29
\parindent 0pt\parskip 0.5ex
72621
65554bac121b clarified document;
wenzelm
parents: 61977
diff changeset
    30
\input{Code_Generator.tex}
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    31
\input{session}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    32
16764
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    33
\pagestyle{headings}
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    34
\bibliographystyle{abbrv}
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    35
\bibliography{root}
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    36
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    37
\end{document}