* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
exception Option_error of string * string
exception Statement_error of string
exception Command_error of string
+val command_error: string -> 'a (** @raise Command_error *)
+
type incomplete_proof = {
proof: ProofEngineTypes.proof;
stack: Continuationals.Stack.t;