Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
moved SMT into the HOL image
authorboehmes
Thu, 27 May 2010 14:54:13 +0200
changeset 37150 73e738371c90
parent 37142 56e1b6976d0e
child 37151 3e9e8dfb3c98
moved SMT into the HOL image
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle