equal
deleted
inserted
replaced
1 \documentclass{article} |
1 \documentclass{article} |
2 \newif\ifremarks |
2 \newif\ifremarks |
3 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
3 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
4 \usepackage{cl2emono-modified,isabelle,isabellesym} |
4 \usepackage{cl2emono-modified,isabelle,isabellesym} |
|
5 \usepackage{../proof,amsmath,amsfonts} |
5 \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment} |
6 \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment} |
6 \usepackage{../proof,amsmath} |
|
7 \usepackage{../pdfsetup} %last package! |
7 \usepackage{../pdfsetup} %last package! |
8 |
8 |
9 %\newtheorem{theorem}{Theorem}[section] |
9 %\newtheorem{theorem}{Theorem}[section] |
10 \newtheorem{Exercise}{Exercise}[section] |
10 \newtheorem{Exercise}{Exercise}[section] |
11 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}} |
11 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}} |