# HG changeset patch
# User wenzelm
# Date 874942735 -7200
# Node ID c5833dfcc2cc18b94342accc52ac48754b3e46a3
# Parent  e2af92a3281b072615fb2a1b085b510c51264457
Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories;
HOLCF: fixed LAM <x,y,zs>.b syntax (may break some unusual cases);

diff -r e2af92a3281b -r c5833dfcc2cc NEWS
--- a/NEWS	Mon Sep 22 17:37:48 1997 +0200
+++ b/NEWS	Mon Sep 22 17:38:55 1997 +0200
@@ -5,6 +5,10 @@
 New in Isabelle???? (DATE ????)
 -------------------------------
 
+* Pure: fixed idt/idts vs. pttrn/pttrns syntactic categories;
+
+* HOLCF: fixed LAM <x,y,zs>.b syntax (may break some unusual cases);
+
 * added extended adm_tac to simplifier in HOLCF. Is now capable to discharge
   adm (%x. P (t x)), where P is chainfinite and t continuous.