changeset 8557 | fe75fe482566 |
parent 8353 | 57a163920480 |
child 8569 | 748a9699f28d |
8556:52ef986bd0a6 | 8557:fe75fe482566 |
---|---|
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"; |
|
24 time_use_thy "BT"; |
25 time_use_thy "BT"; |
25 time_use_thy "InSort"; |
26 time_use_thy "InSort"; |
26 time_use_thy "Qsort"; |
27 time_use_thy "Qsort"; |
27 time_use_thy "Puzzle"; |
28 time_use_thy "Puzzle"; |
28 |
29 |