--- a/doc-src/IsarRef/isar-ref.tex Sat May 03 13:25:27 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Sat May 03 13:26:08 2008 +0200
@@ -76,7 +76,7 @@
\input{logics.tex}
\appendix
-\input{refcard.tex}
+\input{Thy/document/Quick_Reference.tex}
\input{conversion.tex}
\begingroup