| changeset 65050 | 4538153bcc5c |
| parent 65045 | b69ef432438d |
| child 65055 | 12189e86c49d |
--- a/NEWS Sun Feb 26 11:38:33 2017 +0100 +++ b/NEWS Sun Feb 26 13:22:14 2017 +0100 @@ -45,6 +45,8 @@ *** HOL *** +* Theory Library/FinFun has been moved to AFP (again). INCOMPATIBILITY. + * Some old and rarely used ASCII replacement syntax has been removed. INCOMPATIBILITY, standard syntax with symbols should be used instead. The subsequent commands help to reproduce the old forms, e.g. to