changeset 33224 | f93390060bbe |
parent 33197 | de6285ebcc05 |
child 35073 | 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