NEWS
changeset 10976 0e7cf6f9fa29
parent 10966 8f2c27041a8e
child 10998 fece8333adfc
     1.1 --- a/NEWS	Wed Jan 24 20:57:19 2001 +0100
     1.2 +++ b/NEWS	Wed Jan 24 21:01:47 2001 +0100
     1.3 @@ -23,6 +23,9 @@
     1.4  consequence, it is no longer monotonic wrt. the local goal context
     1.5  (which is now passed through the inductive cases);
     1.6  
     1.7 +* Document preparation: renamed standard symbols \<ll> to \<lless> and
     1.8 +\<gg> to \<ggreater>;
     1.9 +
    1.10  
    1.11  *** Document preparation ***
    1.12