# HG changeset patch
# User wenzelm
# Date 936367863 -7200
# Node ID e67eed4cd2241f91375d974e7948373db8f0a028
# Parent  de9e73baa5f80bf2e384ac789be8038589b6ca32
fixed usepackage;

diff -r de9e73baa5f8 -r e67eed4cd224 doc-src/HOL/logics-HOL.tex
--- a/doc-src/HOL/logics-HOL.tex	Fri Sep 03 16:10:39 1999 +0200
+++ b/doc-src/HOL/logics-HOL.tex	Fri Sep 03 16:11:03 1999 +0200
@@ -1,13 +1,6 @@
 %% $Id$
 \documentclass[12pt]{report}
-\usepackage{graphicx,a4,latexsym,../pdfsetup}
-
-\makeatletter
-\input{../proof.sty}
-\input{../rail.sty}
-\input{../iman.sty}
-\input{../extra.sty}
-\makeatother
+\usepackage{graphicx,a4,../iman,../extra,../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}  
diff -r de9e73baa5f8 -r e67eed4cd224 doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Fri Sep 03 16:10:39 1999 +0200
+++ b/doc-src/Logics/logics.tex	Fri Sep 03 16:11:03 1999 +0200
@@ -1,12 +1,6 @@
 %% $Id$
 \documentclass[12pt]{report}
-\usepackage{graphicx,a4,latexsym,../pdfsetup}
-
-\makeatletter
-\input{../proof.sty}
-\input{../iman.sty}
-\input{../extra.sty}
-\makeatother
+\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
 
 %%%STILL NEEDS MODAL, LCF
 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
diff -r de9e73baa5f8 -r e67eed4cd224 doc-src/Tutorial/tutorial.tex
--- a/doc-src/Tutorial/tutorial.tex	Fri Sep 03 16:10:39 1999 +0200
+++ b/doc-src/Tutorial/tutorial.tex	Fri Sep 03 16:11:03 1999 +0200
@@ -1,11 +1,6 @@
 \documentclass[11pt]{report}
-\usepackage{a4,latexsym,verbatim,graphicx,../pdfsetup}
-
+\usepackage{a4,latexsym,verbatim,graphicx,../iman,extra,../pdfsetup}
 
-\makeatletter
-\input{../iman.sty}
-\input{extra.sty}
-\makeatother
 \usepackage{ttbox}
 \newcommand\ttbreak{\vskip-10pt\pagebreak[0]}
 
diff -r de9e73baa5f8 -r e67eed4cd224 doc-src/ZF/logics-ZF.tex
--- a/doc-src/ZF/logics-ZF.tex	Fri Sep 03 16:10:39 1999 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Fri Sep 03 16:11:03 1999 +0200
@@ -1,13 +1,6 @@
 %% $Id$
 \documentclass[12pt]{report}
-\usepackage{graphicx,a4,latexsym,../pdfsetup}
-
-\makeatletter
-\input{../proof.sty}
-\input{../rail.sty}
-\input{../iman.sty}
-\input{../extra.sty}
-\makeatother
+\usepackage{graphicx,a4,../iman,../extra,../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}