+ method toString =
+ let (xml, bodyxml) = self#toXml in
+ let buf = Buffer.create 10240 in
+ Buffer.add_string buf "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n";
+ Buffer.add_string buf "<!DOCTYPE ConstantType SYSTEM \"http://mowgli.cs.unibo.it:58081/getdtd?uri=cic.dtd\">\n";
+ Buffer.add_string buf "<ProofStatus>\n";
+ Buffer.add_string buf (Misc.strip_xml_headings (Xml.pp_to_string xml));
+ Buffer.add_string buf (Misc.strip_xml_headings(Xml.pp_to_string bodyxml));
+ Buffer.add_string buf
+ (match _goal with
+ | None -> "<CurrentGoal />"
+ | Some goal -> Printf.sprintf "<CurrentGoal>%d</CurrentGoal>" goal);
+ Buffer.add_string buf "\n</ProofStatus>";
+ Buffer.contents buf
+