equal
deleted
inserted
replaced
19 time_use_thy "Perm"; |
19 time_use_thy "Perm"; |
20 time_use_thy "Comb"; |
20 time_use_thy "Comb"; |
21 time_use_thy "InSort"; |
21 time_use_thy "InSort"; |
22 time_use_thy "Qsort"; |
22 time_use_thy "Qsort"; |
23 time_use_thy "LexProd"; |
23 time_use_thy "LexProd"; |
24 time_use_thy "Lagrange"; |
|
25 time_use_thy "Puzzle"; |
24 time_use_thy "Puzzle"; |
26 time_use_thy "Mutil"; |
25 time_use_thy "Mutil"; |
27 time_use_thy "Primes"; |
26 time_use_thy "Primes"; |
28 time_use_thy "NatSum"; |
27 time_use_thy "NatSum"; |
29 time_use "set.ML"; |
28 time_use "set.ML"; |