src/HOL/Nitpick.thy
changeset 52641 c56b6fa636e8
parent 49989 34d0ac1bdac6
child 54148 c8cc5ab4a863
     1.1 --- a/src/HOL/Nitpick.thy	Sat Jul 13 00:24:05 2013 +0200
     1.2 +++ b/src/HOL/Nitpick.thy	Sat Jul 13 00:50:49 2013 +0200
     1.3 @@ -214,7 +214,6 @@
     1.4  ML_file "Tools/Nitpick/nitpick_tests.ML"
     1.5  
     1.6  setup {*
     1.7 -  Nitpick_Isar.setup #>
     1.8    Nitpick_HOL.register_ersatz_global
     1.9      [(@{const_name card}, @{const_name card'}),
    1.10       (@{const_name setsum}, @{const_name setsum'}),