doc-src/IsarRef/refcard.tex
changeset 8203 2fcc6017cb72
parent 8195 af2575a5c5ae
child 8447 1181723cf835
     1.1 --- a/doc-src/IsarRef/refcard.tex	Mon Feb 07 15:28:43 2000 +0100
     1.2 +++ b/doc-src/IsarRef/refcard.tex	Mon Feb 07 18:38:51 2000 +0100
     1.3 @@ -112,7 +112,7 @@
     1.4  
     1.5    \multicolumn{2}{l}{\textbf{Modify context}} \\[0.5ex]
     1.6    $simp$ & declare Simplifier rules \\
     1.7 -  $intro$, $elim$, $dest$ & declare Classical Reasoner rules (also ``$!$'' or ``$!!$'') \\
     1.8 +  $intro$, $elim$, $dest$ & declare Classical Reasoner rules (also ``?'' or ``??'') \\
     1.9    $iff$ & declare Simplifier + Classical Reasoner rules \\
    1.10    $trans$ & declare calculational rules (general transitivity) \\
    1.11  \end{tabular}