1.1 --- a/doc-src/Inductive/ind-defs.tex	Tue Nov 18 16:37:25 1997 +0100
     1.2 +++ b/doc-src/Inductive/ind-defs.tex	Thu Nov 20 10:50:51 1997 +0100
     1.3 @@ -1,11 +1,5 @@
     1.4  \documentclass[12pt]{article}
     1.5 -\usepackage{a4,latexsym,proof}
     1.6 -
     1.7 -\makeatletter
     1.8 -\input{../rail.sty}
     1.9 -\input{../iman.sty}
    1.10 -\input{../extra.sty}
    1.11 -\makeatother
    1.12 +\usepackage{a4,latexsym,../iman,../extra,../proof}
    1.13  
    1.14  \newif\ifshort%''Short'' means a published version, not the documentation
    1.15  \shortfalse%%%%%\shorttrue