equal
deleted
inserted
replaced
1 % pr(latex xsymbols symbols) |
1 % pr(latex xsymbols symbols) |
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,../ttbox,comment} |
5 \usepackage{../pdfsetup} %last package! |
5 \usepackage{../pdfsetup} %last package! |
6 |
6 |
7 \newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions |
7 \newcommand\Out[1]{\texttt{\textsl{#1}}} %% for output from terminal sessions |
8 |
8 |
9 %\newtheorem{theorem}{Theorem}[section] |
9 %\newtheorem{theorem}{Theorem}[section] |