diff -r 20251c80be78 -r ccc2c92bb232 doc-src/Intro/intro.tex
--- a/doc-src/Intro/intro.tex	Fri May 02 16:18:11 1997 +0200
+++ b/doc-src/Intro/intro.tex	Fri May 02 16:18:49 1997 +0200
@@ -1,6 +1,8 @@
-\documentstyle[a4,12pt]{article}
+\documentclass[12pt]{article}
+\usepackage{a4}
+
 \makeatletter
-\input{../proof209.sty}
+\input{../proof.sty}
 \input{../iman.sty}
 \input{../extra.sty}
 \makeatother