1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Sun Apr 04 13:31:04 2021 +0200
     1.3 @@ -0,0 +1,45 @@
     1.4 +\documentclass{article}
     1.5 +\usepackage{isabelle,isabellesym}
     1.6 +\usepackage{graphicx}
     1.7 +% this should be the last package used
     1.8 +\usepackage{pdfsetup}
     1.9 +
    1.10 +% urls in roman style, theory text in math-similar italics
    1.11 +\urlstyle{rm}
    1.12 +\isabellestyle{tt}  %better readable than {it}
    1.13 +
    1.14 +% for uniform font size
    1.15 +%\renewcommand{\isastyle}{\isastyleminor}
    1.16 +
    1.17 +\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    1.18 +\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
    1.19 +
    1.20 +\begin{document}
    1.21 +
    1.22 +\title{The Specify Phase in \isac's Calculations}
    1.23 +\author{Walther Neuper}
    1.24 +%\institute{Johannes Kepler University, Linz, Austria}
    1.25 +\maketitle
    1.26 +\vspace{2cm}
    1.27 +\tableofcontents
    1.28 +\newpage
    1.29 +
    1.30 +% sane default for proof documents
    1.31 +\parindent 0pt\parskip 0.5ex
    1.32 +
    1.33 +% generated text of all theories
    1.34 +\input{Specify_Phase.tex}  %*.tex created by isabelle build
    1.35 +
    1.36 +% optional bibliography
    1.37 +\bibliographystyle{plain}
    1.38 +% \bibliographystyle{splncs04}
    1.39 +% splncs04 CAUSES ERROR
    1.40 +% SEE ~/material/templates/llncs/README
    1.41 +\bibliography{root}
    1.42 +
    1.43 +\end{document}
    1.44 +
    1.45 +%%% Local Variables:
    1.46 +%%% mode: latex
    1.47 +%%% TeX-master: t
    1.48 +%%% End: