1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Thu Apr 08 13:27:27 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Tue Apr 13 13:20:05 2021 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4 -\documentclass{article}
     1.5 +\documentclass{report}
     1.6  \usepackage{isabelle,isabellesym}
     1.7  \usepackage{graphicx}
     1.8 +\usepackage{paralist}  % compactitem
     1.9  % this should be the last package used
    1.10  \usepackage{pdfsetup}
    1.11  
    1.12 @@ -13,6 +14,9 @@
    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 @@ -27,10 +31,8 @@
    1.23  % sane default for proof documents
    1.24  \parindent 0pt\parskip 0.5ex
    1.25  
    1.26 -\nocite{*}  %FIXME satisfy bibtex without actual text + citations
    1.27 -%\input{user-requirements.tex}  %FIXME does not quite work yet
    1.28 -
    1.29  % generated text of all theories
    1.30 +\input{user-requirements.tex}
    1.31  \input{Specify_Phase.tex}  %*.tex created by isabelle build
    1.32  
    1.33  % optional bibliography