src/HOL/ex/ROOT.ML
changeset 5866 de6a1856c74a
parent 5753 c90b5f7d0c61
child 6349 f7750d816c21
equal deleted inserted replaced
5865:2303f5a3036d 5866:de6a1856c74a
    19 
    19 
    20 time_use_thy "NatSum";
    20 time_use_thy "NatSum";
    21 time_use     "cla.ML";
    21 time_use     "cla.ML";
    22 time_use     "meson.ML";
    22 time_use     "meson.ML";
    23 time_use     "mesontest.ML";
    23 time_use     "mesontest.ML";
    24 (** time_use "mesontest2.ML";  ULTRA SLOW **)
       
    25 time_use_thy "BT";
    24 time_use_thy "BT";
    26 time_use_thy "InSort";
    25 time_use_thy "InSort";
    27 time_use_thy "Qsort";
    26 time_use_thy "Qsort";
    28 time_use_thy "Puzzle";
    27 time_use_thy "Puzzle";
    29 
    28