NEWS
changeset 47820 903139ccd9bd
parent 47809 4d8cbea248b0
child 47827 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]