NEWS
changeset 64543 6b13586ef1a2
parent 64532 fc2835a932d9
child 64555 628b271c5b8b
     1.1 --- a/NEWS	Tue Nov 29 08:32:46 2016 +0100
     1.2 +++ b/NEWS	Thu Dec 08 17:22:51 2016 +0100
     1.3 @@ -11,7 +11,9 @@
     1.4      with type class annotations. As a result, the tactic that derives
     1.5      it no longer fails on nested datatypes. Slight INCOMPATIBILITY.
     1.6  
     1.7 -
     1.8 +* The theorem in Permutations has been renamed:
     1.9 +  bij_swap_ompose_bij ~> bij_swap_compose_bij
    1.10 + 
    1.11  
    1.12  New in Isabelle2016-1 (December 2016)
    1.13  -------------------------------------