doc-src/Intro/intro.tex

--- a/doc-src/Intro/intro.tex	Mon Feb 17 18:12:03 1997 +0100
+++ b/doc-src/Intro/intro.tex	Thu Feb 20 14:59:02 1997 +0100
@@ -1,4 +1,10 @@
-\documentstyle[a4,12pt,proof209,iman,extra]{article}
+\documentstyle[a4,12pt]{article}
+\makeatletter
+\input{../proof209.sty}
+\input{../iman.sty}
+\input{../extra.sty}
+\makeatother
+
 %% $Id$
 %% run    bibtex intro         to prepare bibliography
 %% run    ../sedindex intro    to prepare index file