wneuper/isa: src/Tools/isac/Doc/Specify_Phase/document/root.tex@6b021e8cb8da

     1 \documentclass{report}

     2 \usepackage{isabelle,isabellesym}

     3 \usepackage{graphicx}

     4 \usepackage{paralist}  % compactitem

     5 % this should be the last package used

     6 \usepackage{pdfsetup}

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

     9 \urlstyle{rm}

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

    12 % for uniform font size

    13 %\renewcommand{\isastyle}{\isastyleminor}

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

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

    17 \def\see{$\rightarrow$}

    18 \newtheorem{UR}{UR}[section]

    19 \newtheorem{Expl}{Expl}[section]

    21 \begin{document}

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

    24 \author{Walther Neuper}

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

    26 \maketitle

    27 \vspace{2cm}

    28 \tableofcontents

    29 \newpage

    31 % sane default for proof documents

    32 \parindent 0pt\parskip 0.5ex

    34 % generated text of all theories

    35 \input{user-requirements.tex}

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

    38 % optional bibliography

    39 \bibliographystyle{plain}

    40 % \bibliographystyle{splncs04}

    41 % splncs04 CAUSES ERROR

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

    43 \bibliography{root}

    45 \end{document}

    47 %%% Local Variables:

    48 %%% mode: latex

    49 %%% TeX-master: t

    50 %%% End:

author	Walther Neuper <walther.neuper@jku.at>
	Tue, 13 Apr 2021 13:20:05 +0200
changeset 60189	6b021e8cb8da
parent 60187	751b8a13c271
child 60190	df5045d244d1
permissions	-rw-r--r--