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