diff -r e402e248bf83 -r 5b6bd5ae739b src/Tools/isac/Doc/Specify_Phase/document/root.tex
--- a/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Sat Dec 30 07:07:58 2023 +0100
+++ b/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Sat Dec 30 16:49:50 2023 +0100
@@ -1,4 +1,4 @@
-\documentclass{report}
+\documentclass{report}
 \usepackage{isabelle,isabellesym}
 \usepackage{graphicx}
 \usepackage{paralist}  % compactitem
@@ -31,7 +31,6 @@
 \parindent 0pt\parskip 0.5ex
 
 \nocite{*}  %FIXME satisfy bibtex without actual text + citations
-\input{user-requirements.tex}
 
 % generated text of all theories
 \input{Specify_Phase.tex}  %*.tex created by isabelle build