equal
deleted
inserted
replaced
3 \usepackage{isabellesym} |
3 \usepackage{isabellesym} |
4 \usepackage{times} |
4 \usepackage{times} |
5 \usepackage{amssymb} |
5 \usepackage{amssymb} |
6 \usepackage{mathpartir} |
6 \usepackage{mathpartir} |
7 \usepackage{pdfsetup} |
7 \usepackage{pdfsetup} |
|
8 \usepackage{tikz} |
|
9 \usepackage{pgf} |
8 |
10 |
9 % urls in roman style, theory text in math-similar italics |
11 % urls in roman style, theory text in math-similar italics |
10 \urlstyle{rm} |
12 \urlstyle{rm} |
11 \isabellestyle{it} |
13 \isabellestyle{it} |
12 |
14 |
13 % for uniform font size |
15 % for uniform font size |
14 %\renewcommand{\isastyle}{\isastyleminor} |
16 %\renewcommand{\isastyle}{\isastyleminor} |
15 |
17 |
|
18 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
|
19 \renewcommand{\isasymequiv}{$\dn$} |
|
20 \renewcommand{\isasymemptyset}{$\varnothing$} |
|
21 \renewcommand{\isacharunderscore}{\mbox{$\_$}} |
16 |
22 |
17 \begin{document} |
23 \begin{document} |
18 |
24 |
19 \title{Formalising Computability Theory in Isabelle/HOL} |
25 \title{Formalising Computability Theory in Isabelle/HOL} |
20 |
26 |