# HG changeset patch
# User haftmann
# Date 1177074786 -7200
# Node ID 9947ae4792a0df974c8579dcebf8b17814b3ee08
# Parent  49d7818e6161c95c61c7ae78288e6caa0daf5096
clarifed

diff -r 49d7818e6161 -r 9947ae4792a0 NEWS
--- a/NEWS	Fri Apr 20 14:30:35 2007 +0200
+++ b/NEWS	Fri Apr 20 15:13:06 2007 +0200
@@ -66,7 +66,7 @@
 * code generator: 
   - Isar "definition"s and primitive instance definitions are added explicitly
     to the table of defining equations
-  - primitive definitions are not unfolded by default any longer
+  - primitive definitions are not used as defining equations by default any longer
   - defining equations are now definitly restricted to meta "==" and object
         equality "="
   - HOL theories have been adopted accordingly