equal
deleted
inserted
replaced
1 \documentclass{llncs} |
1 \documentclass[runningheads]{llncs} |
2 \usepackage{isabelle} |
2 \usepackage{isabelle} |
3 \usepackage{isabellesym} |
3 \usepackage{isabellesym} |
4 \usepackage{amsmath} |
4 \usepackage{amsmath} |
5 \usepackage{amssymb} |
5 \usepackage{amssymb} |
6 \usepackage{tikz} |
6 \usepackage{tikz} |
9 \usepackage{ot1patch} |
9 \usepackage{ot1patch} |
10 \usepackage{times} |
10 \usepackage{times} |
11 \usepackage{proof} |
11 \usepackage{proof} |
12 %%\usepackage{mathabx} |
12 %%\usepackage{mathabx} |
13 \usepackage{stmaryrd} |
13 \usepackage{stmaryrd} |
|
14 |
|
15 \titlerunning{Myhill-Nerode using Regular Expressions} |
|
16 |
14 |
17 |
15 \urlstyle{rm} |
18 \urlstyle{rm} |
16 \isabellestyle{it} |
19 \isabellestyle{it} |
17 \renewcommand{\isastyleminor}{\it}% |
20 \renewcommand{\isastyleminor}{\it}% |
18 \renewcommand{\isastyle}{\normalsize\it}% |
21 \renewcommand{\isastyle}{\normalsize\it}% |