NEWS
changeset 42403 38b29c9fc742
parent 42370 244911efd275
child 42484 2777a27506d0
     1.1 --- a/NEWS	Tue Apr 19 14:57:09 2011 +0200
     1.2 +++ b/NEWS	Tue Apr 19 15:58:05 2011 +0200
     1.3 @@ -115,6 +115,9 @@
     1.4  * Refined PARALLEL_GOALS tactical: degrades gracefully for schematic
     1.5  goal states; body tactic needs to address all subgoals uniformly.
     1.6  
     1.7 +* Slightly more special eq_list/eq_set, with shortcut involving
     1.8 +pointer equality (assumes that eq relation is reflexive).
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle2011 (January 2011)