diff -r 422186a35be8 -r 6b021e8cb8da src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex
--- a/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Thu Apr 08 13:27:27 2021 +0200
+++ b/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Tue Apr 13 13:20:05 2021 +0200
@@ -1,20 +1,4 @@
 %:wrap=soft:maxLineLen=78:
-%remove after isabelle build started working -----------------
-\documentclass{article}
-\usepackage{../../isabelle,../../isabellesym}
-\usepackage{graphicx}
-
-\usepackage{hyperref}  %\url{...}  don't use together with isabelle
-\usepackage{breakurl}  %\url{...}  don't use together with isabelle
-\usepackage{paralist}  % compactitem
-
-\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
-\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
-\def\see{$\rightarrow$}
-\newtheorem{UR}{UR}[section]
-\newtheorem{Expl}{Expl}[section]
-
-\begin{document}
 
 \section{List of terms used in the \isac-project}\label{terms}
 %============================================================================
@@ -305,12 +289,5 @@
 "$x = 1$"
 \end{tabbing}}
 
-
-
 %\subsection{TODO}
 %\subsubsection{TODO}
-
-\bibliographystyle{plain}
-\bibliography{root}
-
-\end{document}