| changeset 10223 | 31346d22bb54 |
| parent 9941 | fe05af7ec816 |
| child 13017 | c28df0f7ebdb |
--- a/doc-src/IsarRef/refcard.tex Sun Oct 15 19:51:19 2000 +0200 +++ b/doc-src/IsarRef/refcard.tex Sun Oct 15 19:51:56 2000 +0200 @@ -136,7 +136,7 @@ \subsection{Commands} \begin{tabular}{ll} - $\isarkeyword{apply}~(m)$ & apply proof method at initial position \\ + $\APPLY{m}$ & apply proof method at initial position \\ $\isarkeyword{apply_end}~(m)$ & apply proof method near terminal position \\ $\isarkeyword{done}$ & complete proof \\ $\isarkeyword{defer}~n$ & move subgoal to end \\