equal
deleted
inserted
replaced
21 \renewcommand{\isastyle}{\normalsize\it}% |
21 \renewcommand{\isastyle}{\normalsize\it}% |
22 |
22 |
23 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
23 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
24 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
24 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
25 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
25 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
26 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
26 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\hspace{-0.5mm}\cdot\hspace{-0.5mm}}$}}} |
27 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
27 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
28 \renewcommand{\isasymequiv}{$\dn$} |
28 \renewcommand{\isasymequiv}{$\dn$} |
29 %%\renewcommand{\isasymiota}{} |
29 %%\renewcommand{\isasymiota}{} |
30 \renewcommand{\isasymxi}{$..$} |
30 \renewcommand{\isasymxi}{$..$} |
31 \renewcommand{\isasymemptyset}{$\varnothing$} |
31 \renewcommand{\isasymemptyset}{$\varnothing$} |
59 \spnewtheorem{myproperty}{Property}{\bfseries}{\rmfamily} |
59 \spnewtheorem{myproperty}{Property}{\bfseries}{\rmfamily} |
60 %-------------------- environment definitions ----------------- |
60 %-------------------- environment definitions ----------------- |
61 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
61 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{} |
62 |
62 |
63 \addtolength{\textwidth}{2mm} |
63 \addtolength{\textwidth}{2mm} |
64 \addtolength{\parskip}{-0.3mm} |
64 \addtolength{\parskip}{-0.33mm} |
65 \begin{document} |
65 \begin{document} |
66 |
66 |
67 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle} |
67 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle} |
68 \author{Christian Urban and Cezary Kaliszyk} |
68 \author{Christian Urban and Cezary Kaliszyk} |
69 \institute{TU Munich, Germany} |
69 \institute{TU Munich, Germany} |