# HG changeset patch
# User lcp
# Date 790912832 -3600
# Node ID 9b7236d774bdfbeeea3819dbf53c3f0724fd4e5d
# Parent  1c060d444a810994307b509c5329628cb71d79ce
updates for Isabelle94-2

diff -r 1c060d444a81 -r 9b7236d774bd doc-src/ERRATA.txt
--- a/doc-src/ERRATA.txt	Mon Jan 23 12:20:10 1995 +0100
+++ b/doc-src/ERRATA.txt	Tue Jan 24 03:00:32 1995 +0100
@@ -54,12 +54,16 @@
 page 158, "!": Isabelle now permits more general left-hand sides, so called
 higher-order patterns.
 
+Classical reasoner
+
+page 176: The package also provides tactics slow_tac, slow_best_tac, depth_tac
+and deepen_tac. 
 
 ISABELLE'S OBJECT-LOGICS
 
 First-Order Logic
 
-page 191: FOL_dup_cs is now deleted (use deepen_tac FOL_cs instead)
+pages 191, 196: FOL_dup_cs is now deleted (use deepen_tac FOL_cs instead)
 
 Zermelo-Fraenkel Set Theory