(* the status exported to the external observer *)
type auto_status =
(* context, (goal,candidate) list, and_list, history *)
(* the status exported to the external observer *)
type auto_status =
(* context, (goal,candidate) list, and_list, history *)