# HG changeset patch
# User boehmes
# Date 1274964853 -7200
# Node ID 73e738371c9041a3bc06b77918b0f5df1922d499
# Parent  56e1b6976d0e2b43d531206eca005b363c83dec6
moved SMT into the HOL image

diff -r 56e1b6976d0e -r 73e738371c90 NEWS
--- 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 ***