48
49
50 (* misc *)
51
52 val cd = File.cd o Path.explode;
53 ml_prompts "ML> " "ML# ";
54
53
55 Proofterm.proofs := 0;
54 Proofterm.proofs := 0;