Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Function/function_core.ML
changeset 33350 b2b78c5ef771
parent 33349 634376549164
child 33643 b275f26a638b 
--- a/src/HOL/Tools/Function/function_core.ML	Fri Oct 30 01:32:06 2009 +0100
+++ b/src/HOL/Tools/Function/function_core.ML	Fri Oct 30 01:32:06 2009 +0100
@@ -458,8 +458,8 @@
       lthy
       |> LocalTheory.conceal
       |> Inductive.add_inductive_i
-          {quiet_mode = false,
-            verbose = ! Toplevel.debug,
+          {quiet_mode = true,
+            verbose = ! trace,
             kind = Thm.internalK,
             alt_name = Binding.empty,
             coind = false,
isabelle