updates for Isabelle94-2
authorlcp
Tue Jan 24 03:00:32 1995 +0100 (1995-01-24)
changeset 8729b7236d774bd
parent 871 1c060d444a81
child 873 0cfc734e3dbd
updates for Isabelle94-2
doc-src/ERRATA.txt
     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