
diff -r 921f22c8890e -r 289e36c2870a src/Doc/IsarRef/Quick_Reference.thy
--- a/src/Doc/IsarRef/Quick_Reference.thy	Sun Jun 23 21:15:42 2013 +0200
+++ b/src/Doc/IsarRef/Quick_Reference.thy	Sun Jun 23 21:23:36 2013 +0200
@@ -98,7 +98,7 @@
 
 text {*
   \begin{tabular}{ll}
-    @{command "pr"} & print current state \\
+    @{command "print_state"} & print current state \\
     @{command "thm"}~@{text a} & print fact \\
     @{command "prop"}~@{text \<phi>} & print proposition \\
     @{command "term"}~@{text t} & print term \\




