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