doc-src/Ref/ref.tex

--- a/doc-src/Ref/ref.tex	Mon Dec 08 13:56:49 1997 +0100
+++ b/doc-src/Ref/ref.tex	Mon Dec 08 13:57:19 1997 +0100
@@ -1,12 +1,5 @@
 \documentclass[12pt]{report}
-\usepackage{a4}
-
-\makeatletter
-\input{../proof.sty}
-\input{../rail.sty}
-\input{../iman.sty}
-\input{../extra.sty}
-\makeatother
+\usepackage{a4,../iman,../extra,../proof,../rail}
 
 %% $Id$
 %%\includeonly{}