diff -r 6b021e8cb8da -r df5045d244d1 src/Tools/isac/Doc/Specify_Phase/document/root.tex
--- a/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Tue Apr 13 13:20:05 2021 +0200
+++ b/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Tue Apr 13 14:07:17 2021 +0200
@@ -24,15 +24,16 @@
 \author{Walther Neuper}
 %\institute{Johannes Kepler University, Linz, Austria}
 \maketitle
-\vspace{2cm}
 \tableofcontents
 \newpage
 
 % sane default for proof documents
 \parindent 0pt\parskip 0.5ex
 
+\nocite{*}  %FIXME satisfy bibtex without actual text + citations
+\input{user-requirements.tex}
+
 % generated text of all theories
-\input{user-requirements.tex}
 \input{Specify_Phase.tex}  %*.tex created by isabelle build
 
 % optional bibliography