doc-src/Inductive/ind-defs.tex

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