diff -r 320b412e5800 -r 8eabfd7e6b9b doc-src/IsarRef/Makefile
--- a/doc-src/IsarRef/Makefile	Fri Jul 30 14:59:32 1999 +0200
+++ b/doc-src/IsarRef/Makefile	Fri Jul 30 15:40:54 1999 +0200
@@ -14,7 +14,7 @@
 NAME = isar-ref
 
 FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \
-	clasimp.tex hol.tex ../isar.sty \
+	generic.tex hol.tex ../isar.sty \
 	../rail.sty ../railsetup.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
 
 dvi: $(NAME).dvi