changeset 55199 | ba93ef2c0d27 |
parent 55082 | e60036c1c248 |
child 55414 | eab03e9cee8a |
--- a/src/HOL/Nitpick.thy Fri Jan 31 10:23:32 2014 +0100 +++ b/src/HOL/Nitpick.thy Fri Jan 31 10:23:32 2014 +0100 @@ -219,7 +219,7 @@ ML_file "Tools/Nitpick/nitpick_kodkod.ML" ML_file "Tools/Nitpick/nitpick_model.ML" ML_file "Tools/Nitpick/nitpick.ML" -ML_file "Tools/Nitpick/nitpick_isar.ML" +ML_file "Tools/Nitpick/nitpick_commands.ML" ML_file "Tools/Nitpick/nitpick_tests.ML" setup {*