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.
Removed debugging code.
authorballarin
Thu, 22 Jun 2006 18:48:25 +0200
changeset 19943 26b37721b357
parent 19942 dc92e3aebc71
child 19944 60e0cbeae3d8
Removed debugging code.
src/Cube/Example.thy file | annotate | diff | comparison | revisions 
--- a/src/Cube/Example.thy	Thu Jun 22 07:08:04 2006 +0200
+++ b/src/Cube/Example.thy	Thu Jun 22 18:48:25 2006 +0200
@@ -16,7 +16,7 @@
 
 method_setup depth_solve = {*
   Method.thms_args (fn thms => Method.METHOD (fn facts =>
-  (DEPTH_SOLVE (HEADGOAL (ares_tac (PolyML.print (facts @ thms)))))))
+  (DEPTH_SOLVE (HEADGOAL (ares_tac (facts @ thms))))))
 *} ""
 
 method_setup depth_solve1 = {*
isabelle