1 \documentclass{svjour3} |
1 \documentclass{svjour3} |
2 \usepackage{times} |
2 \usepackage{amsmath} |
|
3 \usepackage{amssymb} |
3 \usepackage{isabelle} |
4 \usepackage{isabelle} |
4 \usepackage{isabellesym} |
5 \usepackage{isabellesym} |
5 \usepackage{amsmath} |
6 \usepackage{tikz} |
6 \usepackage{amssymb} |
7 \usepackage{verbdef} |
|
8 \usepackage{mathpartir} |
7 \usepackage{pdfsetup} |
9 \usepackage{pdfsetup} |
8 \usepackage{tikz} |
10 \usepackage{times} |
9 %\usepackage{pgf} |
|
10 \usepackage{stmaryrd} |
11 \usepackage{stmaryrd} |
11 \usepackage{verbdef} |
|
12 %\usepackage{longtable} |
|
13 \usepackage{mathpartir} |
|
14 %\newtheorem{definition}{Definition} |
12 %\newtheorem{definition}{Definition} |
15 %\newtheorem{proposition}{Proposition} |
13 %\newtheorem{proposition}{Proposition} |
16 %\newtheorem{lemma}{Lemma} |
14 %\newtheorem{lemma}{Lemma} |
17 |
15 |
18 \urlstyle{rm} |
16 \urlstyle{rm} |
19 \isabellestyle{rm} |
17 \isabellestyle{it} |
20 \renewcommand{\isastyleminor}{\rm}% |
18 \renewcommand{\isastyleminor}{\it}% |
21 \renewcommand{\isastyle}{\normalsize\rm}% |
19 \renewcommand{\isastyle}{\normalsize\it}% |
22 \renewcommand{\isastylescript}{\it} |
20 \renewcommand{\isastylescript}{\it} |
23 \def\dn{\,\triangleq\,} |
21 \def\dn{\,\triangleq\,} |
24 \verbdef\singlearr|---->| |
22 \verbdef\singlearr|---->| |
25 \verbdef\doublearr|===>| |
23 \verbdef\doublearr|===>| |
26 \verbdef\tripple|###| |
24 \verbdef\tripple|###| |
27 |
25 |
28 \renewcommand{\isasymequiv}{$\triangleq$} |
26 \renewcommand{\isasymequiv}{$\triangleq$} |
29 \renewcommand{\isasymemptyset}{$\varnothing$} |
27 \renewcommand{\isasymemptyset}{$\varnothing$} |
30 %%\renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
28 %%\renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
31 \renewcommand{\isasymUnion}{$\bigcup$} |
29 \renewcommand{\isasymUnion}{$\bigcup$} |
|
30 \renewcommand{\isacharunderscore}{\text{$\_\!\_$}} |
32 |
31 |
33 \newcommand{\isasymsinglearr}{$\mapsto$} |
32 \newcommand{\isasymsinglearr}{$\mapsto$} |
34 \newcommand{\isasymdoublearr}{$\Mapsto$} |
33 \newcommand{\isasymdoublearr}{$\Mapsto$} |
35 \newcommand{\isasymtripple}{\tripple} |
34 \newcommand{\isasymtripple}{\tripple} |
36 |
35 |