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 tracing
authorblanchet
Tue, 07 May 2013 17:35:29 +0200
changeset 51908 5aaa9e2f7dd1
parent 51907 882d850aa3ca
child 51909 eb3169abcbd5
removed tracing
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Tue May 07 17:29:23 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Tue May 07 17:35:29 2013 +0200
@@ -480,7 +480,6 @@
         val spec =
           mk_Trueprop_eq (lists_bmoc fss (Free (Binding.name_of binding, res_T)),
             mk_iter_body lthy0 fpTs ctor_iter fss xsss);
-val _ = tracing ("*** spec: " ^ Syntax.string_of_term lthy0 spec) (*###*)
       in (binding, spec) end;
 
     val binding_specs =
isabelle