changeset 55203 | e872d196a73b |
parent 55199 | ba93ef2c0d27 |
child 55539 | 0819931d652d |
--- a/src/HOL/Tools/Nitpick/nitpick_tests.ML Fri Jan 31 10:23:32 2014 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML Fri Jan 31 10:34:20 2014 +0100 @@ -1,4 +1,4 @@ -Nitpick_Commands(* Title: HOL/Tools/Nitpick/nitpick_tests.ML +(* Title: HOL/Tools/Nitpick/nitpick_tests.ML Author: Jasmin Blanchette, TU Muenchen Copyright 2008, 2009, 2010 @@ -10,7 +10,7 @@ val run_all_tests : unit -> unit end; -structure Nitpick_Tests = +structure Nitpick_Tests : NITPICK_TESTS = struct open Nitpick_Util