
diff -r 679a233fb206 -r 8c98484ef66f doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Tue Nov 18 16:37:25 1997 +0100
+++ b/doc-src/Intro/intro.tex	Thu Nov 20 10:50:51 1997 +0100
@@ -1,11 +1,5 @@
 \documentclass[12pt]{article}
-\usepackage{a4}
-
-\makeatletter
-\input{../proof.sty}
-\input{../iman.sty}
-\input{../extra.sty}
-\makeatother
+\usepackage{a4,../iman,../extra,../proof}
 
 %% $Id$
 %% run    bibtex intro         to prepare bibliography




