9
10 theory Tests_Nits
11 imports Main
12 begin
13
14 ML {* NitpickTests.run_all_tests () *}
14 ML {* Nitpick_Tests.run_all_tests () *}
15
16 end