src/HOL/Induct/ROOT.ML

 set proof_timing;
 time_use_thy "Perm";
 time_use_thy "Comb";
 time_use_thy "Mutil";
 time_use_thy "Acc";
-time_use_thy "Multiset";
+time_use_thy "MultisetOrder";
 time_use_thy "PropLog";
 time_use_thy "SList";
 time_use_thy "LFilter";
 time_use_thy "Term";
 time_use_thy "ABexp";