equal
deleted
inserted
replaced
2 \documentclass[11pt,a4paper]{report} |
2 \documentclass[11pt,a4paper]{report} |
3 \usepackage{isabelle,isabellesym} |
3 \usepackage{isabelle,isabellesym} |
4 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} |
4 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment} |
5 \usepackage{../pdfsetup} %last package! |
5 \usepackage{../pdfsetup} %last package! |
6 |
6 |
7 \usepackage{ttbox} |
|
8 \newcommand\ttbreak{\vskip-10pt\pagebreak[0]} |
|
9 \newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions |
7 \newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions |
10 |
8 |
11 %\newtheorem{theorem}{Theorem}[section] |
9 %\newtheorem{theorem}{Theorem}[section] |
12 \newtheorem{Exercise}{Exercise}[section] |
10 \newtheorem{Exercise}{Exercise}[section] |
13 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}} |
11 \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}} |