changeset 58412 | f65f11f4854c |
parent 56303 | 4cc3f4db3447 |
child 62390 | 842917225d56 |
58411:e3d0354d2129 | 58412:f65f11f4854c |
---|---|
53 () |
53 () |
54 |
54 |
55 fun interpretation_tests timeout ctxt probs = |
55 fun interpretation_tests timeout ctxt probs = |
56 List.app |
56 List.app |
57 (interpretation_test timeout ctxt) |
57 (interpretation_test timeout ctxt) |
58 (List.map situate probs) |
58 (map situate probs) |
59 *} |
59 *} |
60 |
60 |
61 ML {* |
61 ML {* |
62 val some_probs = |
62 val some_probs = |
63 ["LCL/LCL825-1.p", |
63 ["LCL/LCL825-1.p", |