--- a/NEWS Thu May 27 13:13:30 2010 +0200
+++ b/NEWS Thu May 27 14:54:13 2010 +0200
@@ -432,6 +432,8 @@
- Removed "skolemize", "uncurry", "sym_break", "flatten_prop",
"sharing_depth", and "show_skolems" options. INCOMPATIBILITY.
+* Moved the SMT binding into the HOL image.
+
*** HOLCF ***