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