NEWS
changeset 48428 ffa0618cc4d4
parent 48402 327ebf1c42a8
child 48431 6efff142bb54
--- a/NEWS	Sun Jul 22 09:56:34 2012 +0200
+++ b/NEWS	Sun Jul 22 10:00:51 2012 +0200
@@ -29,6 +29,9 @@
 
 *** HOL ***
 
+* Library/Debug.thy and Library/Parallel.thy: debugging and parallel
+execution for code generated towards Isabelle/ML.
+
 * Simproc "finite_Collect" rewrites set comprehensions into pointfree
 expressions.