src/HOL/Nitpick_Examples/Tests_Nits.thy
changeset 33232 f93390060bbe
parent 33197 de6285ebcc05
child 35076 cc19e2aef17e
     1.1 --- a/src/HOL/Nitpick_Examples/Tests_Nits.thy	Tue Oct 27 12:16:26 2009 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Tests_Nits.thy	Tue Oct 27 14:40:24 2009 +0100
     1.3 @@ -11,6 +11,6 @@
     1.4  imports Main
     1.5  begin
     1.6  
     1.7 -ML {* NitpickTests.run_all_tests () *}
     1.8 +ML {* Nitpick_Tests.run_all_tests () *}
     1.9  
    1.10  end