src/HOL/ex/ROOT.ML
changeset 3243 a42653373043
parent 3125 3f0ab2c306f7
child 3294 4c73b6508f53
equal deleted inserted replaced
3242:406ae5ced4e9 3243:a42653373043
    16 (** time_use "mesontest2.ML";  ULTRA SLOW **)
    16 (** time_use "mesontest2.ML";  ULTRA SLOW **)
    17 time_use_thy "String";
    17 time_use_thy "String";
    18 time_use_thy "BT";
    18 time_use_thy "BT";
    19 time_use_thy "InSort";
    19 time_use_thy "InSort";
    20 time_use_thy "Qsort";
    20 time_use_thy "Qsort";
    21 time_use_thy "LexProd";
       
    22 time_use_thy "Puzzle";
    21 time_use_thy "Puzzle";
    23 time_use_thy "Primes";
    22 time_use_thy "Primes";
    24 time_use_thy "NatSum";
    23 time_use_thy "NatSum";
    25 time_use     "set.ML";
    24 time_use     "set.ML";
    26 time_use_thy "MT";
    25 time_use_thy "MT";