changeset 9695 | ec7d7f877712 |
parent 9212 | 4afe62073b41 |
child 13028 | 81c87faed78b |
--- a/doc-src/HOL/logics-HOL.tex Mon Aug 28 13:50:24 2000 +0200 +++ b/doc-src/HOL/logics-HOL.tex Mon Aug 28 13:52:38 2000 +0200 @@ -1,6 +1,6 @@ %% $Id$ \documentclass[12pt,a4paper]{report} -\usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup} +\usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,latexsym,../pdfsetup} %%% to index derived rls: ^\([a-zA-Z0-9][a-zA-Z0-9_]*\) \\tdx{\1} %%% to index rulenames: ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\), \\tdx{\1}