| author | nipkow |
| Fri, 09 Nov 2012 19:16:31 +0100 | |
| changeset 50043 | e8af18896060 |
| parent 49191 | 3601bf546775 |
| child 54930 | f2ec28292479 |
| permissions | -rw-r--r-- |
| 43141 | 1 |
\documentclass[11pt,a4paper]{article}
|
2 |
\usepackage{isabelle,isabellesym}
|
|
| 47613 | 3 |
\usepackage{latexsym}
|
| 43141 | 4 |
% this should be the last package used |
| 12430 | 5 |
\usepackage{pdfsetup}
|
6 |
||
| 49191 | 7 |
% snip |
8 |
\newcommand{\repeatisanl}[1]{\ifnum#1=0\else\isanewline\repeatisanl{\numexpr#1-1}\fi}
|
|
9 |
\newcommand{\snip}[4]{\repeatisanl#2#4\repeatisanl#3}
|
|
|
45246
4fbeabee6487
added isaverbatimwrite that allows to cut out snippets of thy files in their latex form and dump them in a file
nipkow
parents:
43141
diff
changeset
|
10 |
|
| 12430 | 11 |
\urlstyle{rm}
|
| 43141 | 12 |
\isabellestyle{it}
|
| 12430 | 13 |
|
| 50043 | 14 |
\renewcommand{\isacharunderscore}{\_}
|
15 |
\renewcommand{\isacharunderscorekeyword}{\_}
|
|
16 |
||
| 43141 | 17 |
% for uniform font size |
18 |
\renewcommand{\isastyle}{\isastyleminor}
|
|
19 |
||
| 12430 | 20 |
\begin{document}
|
21 |
||
| 43141 | 22 |
\title{Concrete Semantics}
|
23 |
\author{TN \& GK}
|
|
| 12430 | 24 |
\maketitle |
25 |
||
| 47602 | 26 |
\setcounter{tocdepth}{2}
|
| 43141 | 27 |
\tableofcontents |
28 |
\newpage |
|
| 12430 | 29 |
|
| 43141 | 30 |
% generated text of all theories |
| 12430 | 31 |
\input{session}
|
32 |
||
| 43141 | 33 |
\nocite{Nipkow}
|
34 |
||
35 |
\bibliographystyle{abbrv}
|
|
| 12430 | 36 |
\bibliography{root}
|
37 |
||
38 |
\end{document}
|