| changeset 9233 | 8c8399b9ecaa |
| parent 8691 | 734a0206e9f9 |
| child 9408 | d3d56e1d2ec1 |
--- a/doc-src/IsarRef/refcard.tex Sat Jul 01 19:58:59 2000 +0200 +++ b/doc-src/IsarRef/refcard.tex Sat Jul 01 19:59:24 2000 +0200 @@ -75,7 +75,6 @@ \subsection{Diagnostic commands} \begin{matharray}{ll} - \isarkeyword{help} & \text{print help on Isar language elements} \\ \isarkeyword{pr} & \text{print current state} \\ \isarkeyword{thm}~\vec a & \text{print theorems} \\ \isarkeyword{term}~t & \text{print term} \\