changeset 57003 | 188b70a00229 |
parent 57002 | 97a80d41a5ba |
child 57606 | 6df377afda4a |
57002:97a80d41a5ba | 57003:188b70a00229 |
---|---|
10 \usepackage{amssymb} |
10 \usepackage{amssymb} |
11 |
11 |
12 \usepackage{pdfsetup} |
12 \usepackage{pdfsetup} |
13 |
13 |
14 \usepackage{ifpdf} |
14 \usepackage{ifpdf} |
15 \ifpdf\relax\else\def\pgfsysdriver{pgfsys-dvi.def}\fi |
|
16 \usepackage{tikz} |
15 \usepackage{tikz} |
17 \usepackage{subfigure} |
16 \usepackage{subfigure} |
18 |
17 |
19 \isadroptag{theory} |
18 \isadroptag{theory} |
20 \isafoldtag{proof} |
19 \isafoldtag{proof} |