NEWS
authorhaftmann
Sun, 22 Jul 2012 10:00:51 +0200
changeset 49443ffa0618cc4d4
parent 49442 571cb1df0768
child 49444 4b7f4482c552
NEWS
NEWS
     1.1 --- a/NEWS	Sun Jul 22 09:56:34 2012 +0200
     1.2 +++ b/NEWS	Sun Jul 22 10:00:51 2012 +0200
     1.3 @@ -29,6 +29,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Library/Debug.thy and Library/Parallel.thy: debugging and parallel
     1.8 +execution for code generated towards Isabelle/ML.
     1.9 +
    1.10  * Simproc "finite_Collect" rewrites set comprehensions into pointfree
    1.11  expressions.
    1.12