equal
deleted
inserted
replaced
22 %%%\usetikzlibrary{mindmap} |
22 %%%\usetikzlibrary{mindmap} |
23 |
23 |
24 \usepackage{graphicx} |
24 \usepackage{graphicx} |
25 \usepackage{xcolor} |
25 \usepackage{xcolor} |
26 |
26 |
|
27 % general math stuff |
|
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
|
29 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}} |
|
30 \renewcommand{\emptyset}{\varnothing}% nice round empty set |
|
31 \renewcommand{\Gamma}{\varGamma} |
|
32 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
|
33 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
|
34 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}} |
|
35 \newcommand{\fresh}{\mathrel{\#}} |
|
36 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |
|
37 \newcommand{\swap}[2]{(#1\,#2)}% swapping operation |
27 |
38 |
28 |
39 |
29 |
40 |
30 % Isabelle configuration |
41 % Isabelle configuration |
31 %%\urlstyle{rm} |
42 %%\urlstyle{rm} |
32 \isabellestyle{rm} |
43 \isabellestyle{it} |
33 \renewcommand{\isastyle}{\rm}% |
44 \renewcommand{\isastyle}{\it}% |
34 \renewcommand{\isastyleminor}{\rm}% |
45 \renewcommand{\isastyleminor}{\it}% |
35 \renewcommand{\isastylescript}{\footnotesize\rm\slshape}% |
46 \renewcommand{\isastylescript}{\footnotesize\it\slshape}% |
36 \renewcommand{\isatagproof}{} |
47 \renewcommand{\isatagproof}{} |
37 \renewcommand{\endisatagproof}{} |
48 \renewcommand{\endisatagproof}{} |
38 \renewcommand{\isamarkupcmt}[1]{#1} |
49 \renewcommand{\isamarkupcmt}[1]{#1} |
39 |
50 |
40 % Isabelle characters |
51 % Isabelle characters |
46 \renewcommand{\isacharless}{$\langle$} |
57 \renewcommand{\isacharless}{$\langle$} |
47 \renewcommand{\isachargreater}{$\rangle$} |
58 \renewcommand{\isachargreater}{$\rangle$} |
48 \renewcommand{\isasymsharp}{\isamath{\#}} |
59 \renewcommand{\isasymsharp}{\isamath{\#}} |
49 \renewcommand{\isasymdots}{\isamath{...}} |
60 \renewcommand{\isasymdots}{\isamath{...}} |
50 \renewcommand{\isasymbullet}{\act} |
61 \renewcommand{\isasymbullet}{\act} |
|
62 \renewcommand{\isasymequiv}{$\dn$} |
51 |
63 |
52 % mathpatir |
64 % mathpatir |
53 \mprset{sep=1em} |
65 \mprset{sep=1em} |
54 |
66 |
55 % general math stuff |
|
56 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
|
57 \newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}} |
|
58 \renewcommand{\emptyset}{\varnothing}% nice round empty set |
|
59 \renewcommand{\Gamma}{\varGamma} |
|
60 \DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}} |
|
61 \DeclareRobustCommand{\frqq}{\mbox{\guillemotright}} |
|
62 \newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}} |
|
63 \newcommand{\fresh}{\mathrel{\#}} |
|
64 \newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action |
|
65 \newcommand{\swap}[2]{(#1\,#2)}% swapping operation |
|
66 |
67 |
67 % beamer stuff |
68 % beamer stuff |
68 \renewcommand{\slidecaption}{Salvador, 26.~August 2008} |
69 \renewcommand{\slidecaption}{Salvador, 26.~August 2008} |
69 |
70 |
70 |
71 |