1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Tue Apr 13 13:20:05 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Tue Apr 13 14:07:17 2021 +0200
     1.3 @@ -24,15 +24,16 @@
     1.4  \author{Walther Neuper}
     1.5  %\institute{Johannes Kepler University, Linz, Austria}
     1.6  \maketitle
     1.7 -\vspace{2cm}
     1.8  \tableofcontents
     1.9  \newpage
    1.10  
    1.11  % sane default for proof documents
    1.12  \parindent 0pt\parskip 0.5ex
    1.13  
    1.14 +\nocite{*}  %FIXME satisfy bibtex without actual text + citations
    1.15 +\input{user-requirements.tex}
    1.16 +
    1.17  % generated text of all theories
    1.18 -\input{user-requirements.tex}
    1.19  \input{Specify_Phase.tex}  %*.tex created by isabelle build
    1.20  
    1.21  % optional bibliography