| changeset 47967 | c422128d3889 |
| parent 47958 | c5f7be4a1734 |
| child 47979 | 59ec72d3d0b9 |
--- a/NEWS Wed May 23 15:57:12 2012 +0200 +++ b/NEWS Wed May 23 16:22:27 2012 +0200 @@ -4,6 +4,12 @@ New in this Isabelle version ---------------------------- +*** General *** + +* Discontinued obsolete method fastsimp / tactic fast_simp_tac, which +is called fastforce / fast_force_tac already since Isabelle2011-1. + + New in Isabelle2012 (May 2012) ------------------------------