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