doc/terms-isac.tex
author Walther Neuper <wneuper@ist.tugraz.at>
Mon, 17 Dec 2018 12:58:12 +0100
changeset 5233 f9e91d4ee161
parent 4220 b36dceaf4807
permissions -rw-r--r--
------ connection to new math-engine on Isabelle2018: question 2 to Lars
neuper@4220
     1
\documentclass[a4wide]{report}
neuper@4220
     2
\input{preamble}
neuper@4220
     3
neuper@4220
     4
%\includeonly{terms}
neuper@4220
     5
\begin{document}
neuper@4220
     6
%\maketitle
neuper@4220
     7
%\tableofcontents
neuper@4220
     8
neuper@4220
     9
\input{terms}
neuper@4220
    10
%\bibliography{bib/didact,bib/math-eng,bib/dia-form,bib/RISC_1,bib/RISC_2,bib/misc,bib/hci,bib/isac}
neuper@4220
    11
\end{document}