1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Thu Apr 08 13:27:27 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Tue Apr 13 13:20:05 2021 +0200
     1.3 @@ -1,20 +1,4 @@
     1.4  %:wrap=soft:maxLineLen=78:
     1.5 -%remove after isabelle build started working -----------------
     1.6 -\documentclass{article}
     1.7 -\usepackage{../../isabelle,../../isabellesym}
     1.8 -\usepackage{graphicx}
     1.9 -
    1.10 -\usepackage{hyperref}  %\url{...}  don't use together with isabelle
    1.11 -\usepackage{breakurl}  %\url{...}  don't use together with isabelle
    1.12 -\usepackage{paralist}  % compactitem
    1.13 -
    1.14 -\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    1.15 -\def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}}
    1.16 -\def\see{$\rightarrow$}
    1.17 -\newtheorem{UR}{UR}[section]
    1.18 -\newtheorem{Expl}{Expl}[section]
    1.19 -
    1.20 -\begin{document}
    1.21  
    1.22  \section{List of terms used in the \isac-project}\label{terms}
    1.23  %============================================================================
    1.24 @@ -305,12 +289,5 @@
    1.25  "$x = 1$"
    1.26  \end{tabbing}}
    1.27  
    1.28 -
    1.29 -
    1.30  %\subsection{TODO}
    1.31  %\subsubsection{TODO}
    1.32 -
    1.33 -\bibliographystyle{plain}
    1.34 -\bibliography{root}
    1.35 -
    1.36 -\end{document}