1.1 --- a/doc-src/IsarRef/refcard.tex	Sun Jul 23 11:59:21 2000 +0200
     1.2 +++ b/doc-src/IsarRef/refcard.tex	Sun Jul 23 12:01:05 2000 +0200
     1.3 @@ -127,7 +127,7 @@
     1.4    \multicolumn{2}{l}{\textbf{Declare rules}} \\[0.5ex]
     1.5    $simp$ & declare Simplifier rules \\
     1.6    $split$ & declare Splitter 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}