--- a/doc-src/Ref/classical.tex Mon Feb 01 10:29:11 1999 +0100
+++ b/doc-src/Ref/classical.tex Wed Feb 03 13:23:24 1999 +0100
@@ -773,7 +773,7 @@
search. It should estimate the size of the remaining subgoals. A good
heuristic function is \ttindex{size_of_thm}, which measures the size of the
proof state. Another size function might ignore certain subgoals (say,
-those concerned with type checking). A heuristic function might simply
+those concerned with type-checking). A heuristic function might simply
count the subgoals.
\item[\ttindexbold{hyp_subst_tacs}] is a list of tactics for substitution in