--- a/src/Doc/Isar_Ref/Quick_Reference.thy Tue Jul 01 20:43:51 2014 +0200
+++ b/src/Doc/Isar_Ref/Quick_Reference.thy Tue Jul 01 20:47:25 2014 +0200
@@ -98,7 +98,8 @@
text {*
\begin{tabular}{ll}
- @{command "print_state"} & print current state \\
+ @{command "print_state"} & print proof state \\
+ @{command "print_statement"} & print fact in long statement form \\
@{command "thm"}~@{text a} & print fact \\
@{command "prop"}~@{text \<phi>} & print proposition \\
@{command "term"}~@{text t} & print term \\