# HG changeset patch
# User wenzelm
# Date 935092833 -7200
# Node ID 8439bf404c28c7694fbec05465a29edb7aa6f178
# Parent  743b22579a2f1e00d08f0459aad99421f443b9c9
* HOLCF/IOA/Sequents: renamed 'Cons' to 'Consq' to avoid clash with HOL/List;

diff -r 743b22579a2f -r 8439bf404c28 NEWS
--- a/NEWS	Thu Aug 19 21:49:10 1999 +0200
+++ b/NEWS	Thu Aug 19 22:00:33 1999 +0200
@@ -189,6 +189,10 @@
 * HOL/Univ.thy: infix syntax <*>, <+>, <**>, <+> eliminated and made
 thus available for user theories;
 
+* HOLCF/IOA/Sequents: renamed 'Cons' to 'Consq' to avoid clash with
+HOL/List; hardly an INCOMPATIBILITY since '>>' syntax is used all the
+time;
+
 
 *** LK ***