* HOLCF/IOA/Sequents: renamed 'Cons' to 'Consq' to avoid clash with HOL/List;

--- 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 ***