doc-src/IsarRef/refcard.tex
changeset 13048 8b2eb3b78cc3
parent 13041 6faccf7d0f25
child 13472 2529a53514e6
     1.1 --- a/doc-src/IsarRef/refcard.tex	Thu Mar 07 22:52:07 2002 +0100
     1.2 +++ b/doc-src/IsarRef/refcard.tex	Fri Mar 08 15:53:15 2002 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  
     1.5 -\chapter{Isabelle/Isar Quick Reference}\label{ap:refcard}
     1.6 +\chapter{Isabelle/Isar quick reference}\label{ap:refcard}
     1.7  
     1.8  \section{Proof commands}
     1.9