changeset 48691 | 903139ccd9bd |
parent 48680 | 4d8cbea248b0 |
child 48698 | 13530d774a21 |
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]