equal
deleted
inserted
replaced
14 \usepackage{times} |
14 \usepackage{times} |
15 %%\usepackage{proof} |
15 %%\usepackage{proof} |
16 %%\usepackage{mathabx} |
16 %%\usepackage{mathabx} |
17 \usepackage{stmaryrd} |
17 \usepackage{stmaryrd} |
18 |
18 |
19 \titlerunning{Myhill-Nerode using Regular Expressions} |
19 \titlerunning{Proving the Priority Inheritance Protocol Correct} |
20 |
20 |
21 |
21 |
22 \urlstyle{rm} |
22 \urlstyle{rm} |
23 \isabellestyle{it} |
23 \isabellestyle{it} |
24 \renewcommand{\isastyleminor}{\it}% |
24 \renewcommand{\isastyleminor}{\it}% |