equal
deleted
inserted
replaced
1 %% $Id$ |
1 %% $Id$ |
2 \documentclass[11pt,a4paper]{report} |
2 \documentclass[11pt,a4paper]{report} |
3 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} |
3 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} |
4 \usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym} |
4 \usepackage{graphicx,logics,../ttbox,../proof,latexsym} |
5 |
5 |
6 \usepackage{../pdfsetup} |
6 \usepackage{../pdfsetup} |
7 %last package! |
7 %last package! |
8 |
8 |
9 \remarkstrue |
9 \remarkstrue |