--- a/doc-src/IsarRef/Thy/Quick_Reference.thy Sun Nov 14 15:21:49 2010 +0100
+++ b/doc-src/IsarRef/Thy/Quick_Reference.thy Sun Nov 14 15:25:01 2010 +0100
@@ -100,9 +100,9 @@
\begin{tabular}{ll}
@{command "pr"} & print current state \\
@{command "thm"}~@{text a} & print fact \\
+ @{command "prop"}~@{text \<phi>} & print proposition \\
@{command "term"}~@{text t} & print term \\
- @{command "prop"}~@{text \<phi>} & print meta-level proposition \\
- @{command "typ"}~@{text \<tau>} & print meta-level type \\
+ @{command "typ"}~@{text \<tau>} & print type \\
\end{tabular}
*}