changeset 42622 | 61a99eb5eb9d |
parent 42511 | bf89455ccf9d |
child 42637 | 381fdcab0f36 |
--- a/doc-src/ZF/logics-ZF.tex Mon May 02 17:28:45 2011 +0200 +++ b/doc-src/ZF/logics-ZF.tex Mon May 02 17:43:06 2011 +0200 @@ -1,7 +1,7 @@ %% $Id$ \documentclass[11pt,a4paper]{report} \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} -\usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym} +\usepackage{graphicx,logics,../ttbox,../proof,latexsym} \usepackage{../pdfsetup} %last package!