| changeset 42518 | 57367832b81a |
| parent 17659 | b1019337c857 |
| child 42628 | 50f257ea2aba |
--- 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}