equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{article} |
1 \documentstyle[epsf]{acmconf} |
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle,isabellesym} |
3 |
3 |
4 % further packages required for unusual symbols (see also |
4 % further packages required for unusual symbols (see also |
5 % isabellesym.sty), use only when needed |
5 % isabellesym.sty), use only when needed |
6 |
6 |
34 \isabellestyle{it} |
34 \isabellestyle{it} |
35 |
35 |
36 % for uniform font size |
36 % for uniform font size |
37 %\renewcommand{\isastyle}{\isastyleminor} |
37 %\renewcommand{\isastyle}{\isastyleminor} |
38 |
38 |
|
39 %----------------- theorem definitions ---------- |
|
40 \newtheorem{Theorem}{Theorem}[section] |
|
41 \newtheorem{Definition}[Theorem]{Definition} |
|
42 \newtheorem{Example}{\it Example}[section] |
|
43 |
|
44 %-------------------- environment definitions ----------------- |
|
45 \newenvironment{example}[0]{\begin{Example} \it}{\end{Example}} |
|
46 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
39 |
47 |
40 \begin{document} |
48 \begin{document} |
41 |
49 |
42 \title{Paper} |
50 \title{\LARGE\bf General Binding Structures in Nominal Isabelle, or How to |
43 \author{By Kaliszyk and Urban} |
51 Formalise Core-Haskell} |
44 \maketitle |
52 \maketitle |
45 |
53 |
46 % sane default for proof documents |
54 \maketitle |
47 \parindent 0pt\parskip 0.5ex |
55 \begin{abstract} |
|
56 TODO |
|
57 \end{abstract} |
48 |
58 |
49 % generated text of all theories |
59 % generated text of all theories |
50 \input{session} |
60 \input{session} |
51 |
61 |
|
62 %\bibliographystyle{plain} |
52 % optional bibliography |
63 % optional bibliography |
53 %\bibliographystyle{abbrv} |
64 %\bibliographystyle{abbrv} |
54 %\bibliography{root} |
65 %\bibliography{root} |
55 |
66 |
56 \end{document} |
67 \end{document} |