equal
deleted
inserted
replaced
19 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
19 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
20 \renewcommand{\isasymequiv}{$\dn$} |
20 \renewcommand{\isasymequiv}{$\dn$} |
21 \renewcommand{\isasymemptyset}{$\varnothing$} |
21 \renewcommand{\isasymemptyset}{$\varnothing$} |
22 \renewcommand{\isacharunderscore}{\mbox{$\_$}} |
22 \renewcommand{\isacharunderscore}{\mbox{$\_$}} |
23 \renewcommand{\isasymiota}{} |
23 \renewcommand{\isasymiota}{} |
|
24 \newcommand{\isasymulcorner}{$\ulcorner$} |
|
25 \newcommand{\isasymurcorner}{$\urcorner$} |
24 \begin{document} |
26 \begin{document} |
25 |
27 |
26 \title{Formalising Computability Theory in Isabelle/HOL} |
28 \title{Formalising Computability Theory in Isabelle/HOL} |
27 |
29 |
28 |
30 |