diff -r b68e1c27709a -r 57367832b81a doc-src/HOL/logics-HOL.tex
--- a/doc-src/HOL/logics-HOL.tex	Sun May 01 17:42:21 2011 +0200
+++ b/doc-src/HOL/logics-HOL.tex	Sun May 01 17:55:29 2011 +0200
@@ -1,5 +1,6 @@
 %% $Id$
 \documentclass[12pt,a4paper]{report}
+\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,../railsetup,latexsym,../pdfsetup}
 
 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}