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