equal
deleted
inserted
replaced
7 \usepackage{pgf} |
7 \usepackage{pgf} |
8 \usepackage{pdfsetup} |
8 \usepackage{pdfsetup} |
9 \usepackage{ot1patch} |
9 \usepackage{ot1patch} |
10 \usepackage{times} |
10 \usepackage{times} |
11 \usepackage{proof} |
11 \usepackage{proof} |
12 |
12 \usepackage{stmaryrd} |
13 |
13 |
14 \urlstyle{rm} |
14 \urlstyle{rm} |
15 \isabellestyle{it} |
15 \isabellestyle{it} |
16 \renewcommand{\isastyleminor}{\it}% |
16 \renewcommand{\isastyleminor}{\it}% |
17 \renewcommand{\isastyle}{\normalsize\it}% |
17 \renewcommand{\isastyle}{\normalsize\it}% |