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