equal
deleted
inserted
replaced
18 \renewcommand{\isastyle}{\isastyleminor} |
18 \renewcommand{\isastyle}{\isastyleminor} |
19 |
19 |
20 \begin{document} |
20 \begin{document} |
21 |
21 |
22 \title{Concrete Semantics} |
22 \title{Concrete Semantics} |
23 \author{TN \& GK} |
23 \author{Tobias Nipkow \& Gerwin Klein} |
24 \maketitle |
24 \maketitle |
25 |
25 |
26 \setcounter{tocdepth}{2} |
26 \setcounter{tocdepth}{2} |
27 \tableofcontents |
27 \tableofcontents |
28 \newpage |
28 \newpage |
29 |
29 |
30 % generated text of all theories |
30 % generated text of all theories |
31 \input{session} |
31 \input{session} |
32 |
32 |
33 \nocite{Nipkow} |
33 \nocite{Nipkow} |
|
34 \nocite{ConcreteSemantics} |
34 |
35 |
35 \bibliographystyle{abbrv} |
36 \bibliographystyle{abbrv} |
36 \bibliography{root} |
37 \bibliography{root} |
37 |
38 |
38 \end{document} |
39 \end{document} |