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