| changeset 42636 | 41dff1b862bf |
| parent 9695 | ec7d7f877712 |
| child 42637 | 381fdcab0f36 |
--- a/doc-src/Logics/logics.tex Mon May 02 22:06:49 2011 +0200 +++ b/doc-src/Logics/logics.tex Mon May 02 22:19:28 2011 +0200 @@ -1,6 +1,6 @@ %% $Id$ \documentclass[12pt,a4paper]{report} -\usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,latexsym,../pdfsetup} +\usepackage{graphicx,../iman,../extra,../ttbox,../proof,latexsym,../pdfsetup} %%%STILL NEEDS MODAL, LCF %%% to index derived rls: ^\([a-zA-Z0-9][a-zA-Z0-9_]*\) \\tdx{\1}