@@ -181,7+181,9 @@ and proof2pres ?skip_initial_lambdas is_top_down term2pres p =
| _ -> p.Con.proof_context)
presacontext
in
| _ -> p.Con.proof_context)
presacontext
in
+(*
let body = B.V([],[B.b_kw ("(*<<" ^ p.Con.proof_conclude.Con.conclude_method ^ (if is_top_down then "(TD)" else "(NTD)") ^ "*)"); body; B.b_kw "(*>>*)"]) in
let body = B.V([],[B.b_kw ("(*<<" ^ p.Con.proof_conclude.Con.conclude_method ^ (if is_top_down then "(TD)" else "(NTD)") ^ "*)"); body; B.b_kw "(*>>*)"]) in