1.1 --- a/doc-src/ERRATA.txt	Mon Jan 23 12:20:10 1995 +0100
     1.2 +++ b/doc-src/ERRATA.txt	Tue Jan 24 03:00:32 1995 +0100
     1.3 @@ -54,12 +54,16 @@
     1.4  page 158, "!": Isabelle now permits more general left-hand sides, so called
     1.5  higher-order patterns.
     1.6  
     1.7 +Classical reasoner
     1.8 +
     1.9 +page 176: The package also provides tactics slow_tac, slow_best_tac, depth_tac
    1.10 +and deepen_tac. 
    1.11  
    1.12  ISABELLE'S OBJECT-LOGICS
    1.13  
    1.14  First-Order Logic
    1.15  
    1.16 -page 191: FOL_dup_cs is now deleted (use deepen_tac FOL_cs instead)
    1.17 +pages 191, 196: FOL_dup_cs is now deleted (use deepen_tac FOL_cs instead)
    1.18  
    1.19  Zermelo-Fraenkel Set Theory
    1.20