author | nipkow |
Fri, 18 Nov 1994 13:14:23 +0100 | |
changeset 716 | 79adbdbda0fb |
parent 715 | f76ad10f5802 |
child 717 | a52ba17ee9c5 |
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