changeset 716 | 79adbdbda0fb |
parent 701 | 74ee8b9ff9a7 |
child 718 | efca1e0710fb |
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