--- a/doc-src/IsarRef/generic.tex Sat Oct 30 20:12:23 1999 +0200
+++ b/doc-src/IsarRef/generic.tex Sat Oct 30 20:13:16 1999 +0200
@@ -353,7 +353,7 @@
\end{descr}
-\subsection{Automatic methods}\label{sec:classical-auto}
+\subsection{Automated methods}\label{sec:classical-auto}
\indexisarmeth{blast}
\indexisarmeth{fast}\indexisarmeth{best}\indexisarmeth{slow}\indexisarmeth{slow-best}
@@ -391,7 +391,7 @@
\S\ref{sec:classical-mod}.
-\subsection{Combined automatic methods}
+\subsection{Combined automated methods}
\indexisarmeth{auto}\indexisarmeth{force}
\begin{matharray}{rcl}
@@ -437,7 +437,7 @@
\item [$intro$, $elim$, $dest$] add introduction, elimination, destruct rules,
respectively. By default, rules are considered as \emph{safe}, while a
single ``!'' classifies as \emph{unsafe}, and ``!!'' as \emph{extra} (i.e.\
- not applied in the search-oriented automatic methods, but only $rule$).
+ not applied in the search-oriented automated methods, but only $rule$).
\item [$iff$] declares equations both as rewrite rules for the simplifier and
classical reasoning rules.