Chnaged simplifier description (lhss)
authornipkow
Fri Nov 18 13:14:23 1994 +0100 (1994-11-18)
changeset 71679adbdbda0fb
parent 715 f76ad10f5802
child 717 a52ba17ee9c5
Chnaged simplifier description (lhss)
doc-src/ERRATA.txt
     1.1 --- a/doc-src/ERRATA.txt	Fri Nov 18 13:08:10 1994 +0100
     1.2 +++ b/doc-src/ERRATA.txt	Fri Nov 18 13:14:23 1994 +0100
     1.3 @@ -45,6 +45,10 @@
     1.4  
     1.5  page 145, line -5: delete repeated "the" in "before the the .thy file"
     1.6  
     1.7 +Simplification
     1.8 +
     1.9 +page 158, "!": Isabelle now permits more general left-hand sides, so called
    1.10 +higher-order patterns.
    1.11  
    1.12  ISABELLE'S OBJECT-LOGICS
    1.13