| changeset 33994 | fc8af744f63c |
| parent 33951 | 651028e34b5d |
| parent 33993 | f412388c809c |
| child 34007 | aea892559fc5 |
--- a/NEWS Fri Dec 04 17:19:59 2009 +0100 +++ b/NEWS Fri Dec 04 18:51:15 2009 +0100 @@ -4,6 +4,18 @@ New in this Isabelle version ---------------------------- +*** HOL *** + +* Reorganized theory Sum_Type.thy; Inl and Inr now have +authentic syntax. INCOMPATIBILITY. + +* Code generation: ML and OCaml code is decorated with signatures. + + +*** ML *** + +* Curried take and drop. INCOMPATIBILITY. + New in Isabelle2009-1 (December 2009) -------------------------------------