doc-src/ZF/logics-ZF.tex
changeset 26913 67040326ab7a
parent 14154 3bc0128e2c74
child 42511 bf89455ccf9d
equal deleted inserted replaced
26912:0265353e4def 26913:67040326ab7a
     1 %% $Id$
     1 %% $Id$
     2 \documentclass[11pt,a4paper]{report}
     2 \documentclass[11pt,a4paper]{report}
     3 \usepackage{isabelle,isabellesym}
     3 \usepackage{../isabelle,../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