author | haftmann |
Sat, 28 Apr 2012 10:03:46 +0200 | |
changeset 48691 | 903139ccd9bd |
parent 48690 | d402ac2288b8 |
child 48692 | a2d604542a34 |
1.1 --- a/NEWS Sat Apr 28 09:55:01 2012 +0200 1.2 +++ b/NEWS Sat Apr 28 10:03:46 2012 +0200 1.3 @@ -347,7 +347,7 @@ 1.4 1.5 converse_def ~> converse_unfold 1.6 rel_comp_def ~> relcomp_unfold 1.7 - symp_def ~> (dropped, use symp_def and sym_def instead) 1.8 + symp_def ~> (modified, use symp_def and sym_def instead) 1.9 transp_def ~> transp_trans 1.10 Domain_def ~> Domain_unfold 1.11 Range_def ~> Domain_converse [symmetric]