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