# HG changeset patch
# User nipkow
# Date 785160863 -3600
# Node ID 79adbdbda0fb58198437ece7d378f7c042b06421
# Parent  f76ad10f5802b90aa3f276d56ef83ac37a11292e
Chnaged simplifier description (lhss)

diff -r f76ad10f5802 -r 79adbdbda0fb doc-src/ERRATA.txt
--- a/doc-src/ERRATA.txt	Fri Nov 18 13:08:10 1994 +0100
+++ b/doc-src/ERRATA.txt	Fri Nov 18 13:14:23 1994 +0100
@@ -45,6 +45,10 @@
 
 page 145, line -5: delete repeated "the" in "before the the .thy file"
 
+Simplification
+
+page 158, "!": Isabelle now permits more general left-hand sides, so called
+higher-order patterns.
 
 ISABELLE'S OBJECT-LOGICS