wneuper/isa: src/Tools/isac/Doc/Specify_Phase/document/root.tex@751b8a13c271

     1 \documentclass{article}

     2 \usepackage{isabelle,isabellesym}

     3 \usepackage{graphicx}

     4 % this should be the last package used

     5 \usepackage{pdfsetup}

     7 % urls in roman style, theory text in math-similar italics

     8 \urlstyle{rm}

     9 \isabellestyle{tt}  %better readable than {it}

    11 % for uniform font size

    12 %\renewcommand{\isastyle}{\isastyleminor}

    14 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}

    15 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}

    17 \begin{document}

    19 \title{The Specify Phase in \isac's Calculations}

    20 \author{Walther Neuper}

    21 %\institute{Johannes Kepler University, Linz, Austria}

    22 \maketitle

    23 \vspace{2cm}

    24 \tableofcontents

    25 \newpage

    27 % sane default for proof documents

    28 \parindent 0pt\parskip 0.5ex

    30 \nocite{*}  %FIXME satisfy bibtex without actual text + citations

    31 %\input{user-requirements.tex}  %FIXME does not quite work yet

    33 % generated text of all theories

    34 \input{Specify_Phase.tex}  %*.tex created by isabelle build

    36 % optional bibliography

    37 \bibliographystyle{plain}

    38 % \bibliographystyle{splncs04}

    39 % splncs04 CAUSES ERROR

    40 % SEE ~/material/templates/llncs/README

    41 \bibliography{root}

    43 \end{document}

    45 %%% Local Variables:

    46 %%% mode: latex

    47 %%% TeX-master: t

    48 %%% End:

author	wenzelm
	Thu, 08 Apr 2021 13:09:44 +0200
changeset 60187	751b8a13c271
parent 60183	0959e61a3f3f
child 60189	6b021e8cb8da
permissions	-rw-r--r--