removed 'declare' from tactic emulations;

--- a/doc-src/IsarRef/refcard.tex	Tue Aug 07 20:19:51 2007 +0200
+++ b/doc-src/IsarRef/refcard.tex	Tue Aug 07 20:19:52 2007 +0200
@@ -165,7 +165,6 @@
   $\isarkeyword{defer}~n$ & move subgoal to end \\
   $\isarkeyword{prefer}~n$ & move subgoal to beginning \\
   $\isarkeyword{back}$ & backtrack last command \\
-  $\isarkeyword{declare}$ & declare rules in current theory \\
 \end{tabular}
 
 \subsection{Methods}