changeset 43382 | bf89455ccf9d |
parent 31684 | 7d50527dc008 |
1.1 --- a/doc-src/Classes/classes.tex Sun May 01 00:01:59 2011 +0200 1.2 +++ b/doc-src/Classes/classes.tex Sun May 01 16:36:34 2011 +0200 1.3 @@ -3,7 +3,7 @@ 1.4 \usepackage{latexsym,graphicx} 1.5 \usepackage[refpage]{nomencl} 1.6 \usepackage{../iman,../extra,../isar,../proof} 1.7 -\usepackage{../isabelle,../isabellesym} 1.8 +\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} 1.9 \usepackage{style} 1.10 \usepackage{../pdfsetup} 1.11