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