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