- let script = Acic2Procedural.acic2procedural
- ~ids_to_inner_sorts ~ids_to_inner_types ?depth prefix aobj in
- "\n" ^ String.concat "" (List.map aux script)
+ let script =
+ Acic2Procedural.acic2procedural
+ ~ids_to_inner_sorts ~ids_to_inner_types ?depth ?skip_thm_and_qed
+ ?skip_initial_lambdas prefix aobj
+ in
+ String.concat "" (List.map aux script) ^ "\n\n"