
diff -r 861e06a047c5 -r 19363c70b5c4 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Sun May 04 21:34:44 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Mon May 05 15:23:21 2008 +0200
@@ -72,7 +72,7 @@
 \input{basics.tex}
 \input{Thy/document/syntax.tex}
 \input{Thy/document/pure.tex}
-\input{generic.tex}
+\input{Thy/document/Generic.tex}
 \input{logics.tex}
 
 \appendix




