NEWS
changeset 67718 17874d43d3b3
parent 67702 2d9918f5b33c
child 67740 b6ce18784872
     1.1 --- a/NEWS	Sat Feb 24 17:21:35 2018 +0100
     1.2 +++ b/NEWS	Sun Feb 25 12:59:08 2018 +0100
     1.3 @@ -176,6 +176,12 @@
     1.4  (e.g. use 'find_theorems' or 'try' to figure this out).
     1.5  
     1.6  
     1.7 +*** Pure ***
     1.8 +
     1.9 +* The inner syntax category "sort" now includes notation "_" for the
    1.10 +dummy sort: it is effectively ignored in type-inference.
    1.11 +
    1.12 +
    1.13  *** HOL ***
    1.14  
    1.15  * Clarifed theorem names: