equal
deleted
inserted
replaced
2 \usepackage[utf8]{inputenc} |
2 \usepackage[utf8]{inputenc} |
3 \usepackage[only,bigsqcap]{stmaryrd} |
3 \usepackage[only,bigsqcap]{stmaryrd} |
4 \usepackage{ifthen,proof,amssymb,isabelle,isabellesym} |
4 \usepackage{ifthen,proof,amssymb,isabelle,isabellesym} |
5 \isabellestyle{it} |
5 \isabellestyle{it} |
6 \usepackage{pdfsetup}\urlstyle{rm} |
6 \usepackage{pdfsetup}\urlstyle{rm} |
7 |
|
8 \renewcommand{\isacommand}[1] |
|
9 {\ifthenelse{\equal{sorry}{#1}}{$\;$\dummyproof} |
|
10 {\ifthenelse{\equal{oops}{#1}}{$\vdots$}{\isakeyword{#1}}}} |
|
11 |
7 |
12 \newcommand{\DUMMYPROOF}{{\langle\mathit{proof}\rangle}} |
8 \newcommand{\DUMMYPROOF}{{\langle\mathit{proof}\rangle}} |
13 \newcommand{\dummyproof}{$\DUMMYPROOF$} |
9 \newcommand{\dummyproof}{$\DUMMYPROOF$} |
14 |
10 |
15 \hyphenation{Isabelle} |
11 \hyphenation{Isabelle} |