--- a/doc-src/IsarRef/refcard.tex Fri Mar 08 15:33:32 2002 +0100
+++ b/doc-src/IsarRef/refcard.tex Fri Mar 08 15:53:15 2002 +0100
@@ -1,5 +1,5 @@
-\chapter{Isabelle/Isar Quick Reference}\label{ap:refcard}
+\chapter{Isabelle/Isar quick reference}\label{ap:refcard}
\section{Proof commands}