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/Nitpick.thy
changeset 52641 c56b6fa636e8
parent 49989 34d0ac1bdac6
child 54148 c8cc5ab4a863 
--- a/src/HOL/Nitpick.thy	Sat Jul 13 00:24:05 2013 +0200
+++ b/src/HOL/Nitpick.thy	Sat Jul 13 00:50:49 2013 +0200
@@ -214,7 +214,6 @@
 ML_file "Tools/Nitpick/nitpick_tests.ML"
 
 setup {*
-  Nitpick_Isar.setup #>
   Nitpick_HOL.register_ersatz_global
     [(@{const_name card}, @{const_name card'}),
      (@{const_name setsum}, @{const_name setsum'}),
isabelle