| changeset 42511 | bf89455ccf9d |
| parent 26913 | 67040326ab7a |
| child 42622 | 61a99eb5eb9d |
| 42510:b9c106763325 | 42511:bf89455ccf9d |
|---|---|
1 %% $Id$ |
1 %% $Id$ |
2 \documentclass[11pt,a4paper]{report} |
2 \documentclass[11pt,a4paper]{report} |
3 \usepackage{../isabelle,../isabellesym} |
3 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} |
4 \usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym} |
4 \usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym} |
5 |
5 |
6 \usepackage{../pdfsetup} |
6 \usepackage{../pdfsetup} |
7 %last package! |
7 %last package! |
8 |
8 |