NEWS
changeset 66563 87b9eb69d5ba
parent 66542 075bbb78d33c
child 66574 e16b27bd3f76
     1.1 --- a/NEWS	Tue Aug 29 20:34:43 2017 +0100
     1.2 +++ b/NEWS	Wed Aug 30 18:01:27 2017 +0200
     1.3 @@ -250,6 +250,8 @@
     1.4  * Theory "HOL-Library.Pattern_Aliases" provides input and output syntax
     1.5  for pattern aliases as known from Haskell, Scala and ML.
     1.6  
     1.7 +* Theory "HOL-Library.Uprod" formalizes the type of unordered pairs.
     1.8 +
     1.9  * Session HOL-Analysis: more material involving arcs, paths, covering
    1.10  spaces, innessential maps, retracts, material on infinite products.
    1.11  Major results include the Jordan Curve Theorem and the Great Picard