--- a/doc-src/Ref/ref.tex Thu May 22 10:04:04 1997 +0200
+++ b/doc-src/Ref/ref.tex Thu May 22 10:34:23 1997 +0200
@@ -1,7 +1,8 @@
\documentclass[12pt]{report}
-\usepackage{a4,proof}
+\usepackage{a4}
\makeatletter
+\input{../proof.sty}
\input{../rail.sty}
\input{../iman.sty}
\input{../extra.sty}