equal
deleted
inserted
replaced
13 \usepackage{ot1patch} |
13 \usepackage{ot1patch} |
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 \usepackage{mathpartir} |
19 |
19 |
20 \urlstyle{rm} |
20 \urlstyle{rm} |
21 \isabellestyle{it} |
21 \isabellestyle{it} |
22 \renewcommand{\isastyleminor}{\it}% |
22 \renewcommand{\isastyleminor}{\it}% |
23 \renewcommand{\isastyle}{\normalsize\it}% |
23 \renewcommand{\isastyle}{\normalsize\it}% |