equal
deleted
inserted
replaced
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"; |
24 time_use "mesontest2.ML"; |
25 time_use_thy "BT"; |
25 time_use_thy "BT"; |
|
26 time_use_thy "AVL"; |
26 time_use_thy "InSort"; |
27 time_use_thy "InSort"; |
27 time_use_thy "Qsort"; |
28 time_use_thy "Qsort"; |
28 time_use_thy "Puzzle"; |
29 time_use_thy "Puzzle"; |
29 |
30 |
30 time_use_thy "IntRing"; |
31 time_use_thy "IntRing"; |