changeset 43284 | 38b29c9fc742 |
parent 43241 | 244911efd275 |
child 43355 | 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)