42 (* misc *)
43
44 val cd = File.cd o Path.explode;
45 ml_prompts "ML> " "ML# ";
46
47 proofs := 0;
47 Proofterm.proofs := 0;