* Document preparation: renamed standard symbols \<ll> to \<lless> and
authorwenzelm
Wed Jan 24 21:01:47 2001 +0100 (2001-01-24)
changeset 109760e7cf6f9fa29
parent 10975 32ba04b00ec0
child 10977 4b47d8aaf5af
* Document preparation: renamed standard symbols \<ll> to \<lless> and
\<gg> to \<ggreater>;
NEWS
     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