equal
deleted
inserted
replaced
5 \usepackage{amsmath} |
5 \usepackage{amsmath} |
6 \usepackage{amssymb} |
6 \usepackage{amssymb} |
7 %%\usepackage{amsthm} |
7 %%\usepackage{amsthm} |
8 \usepackage{tikz} |
8 \usepackage{tikz} |
9 \usepackage{pgf} |
9 \usepackage{pgf} |
10 \usepackage{pdfsetup} |
|
11 \usepackage{ot1patch} |
10 \usepackage{ot1patch} |
12 \usepackage{times} |
11 \usepackage{times} |
13 \usepackage{boxedminipage} |
12 \usepackage{boxedminipage} |
14 \usepackage{proof} |
13 \usepackage{proof} |
15 \usepackage{setspace} |
14 \usepackage{setspace} |
16 \usepackage{afterpage} |
15 \usepackage{afterpage} |
|
16 \usepackage{pdfsetup} |
17 |
17 |
18 \allowdisplaybreaks |
18 \allowdisplaybreaks |
19 \urlstyle{rm} |
19 \urlstyle{rm} |
20 \isabellestyle{it} |
20 \isabellestyle{it} |
21 \renewcommand{\isastyleminor}{\it}% |
21 \renewcommand{\isastyleminor}{\it}% |