(** {2 tactic commands builders} *)
-(* TODO these are just some examples, a lot of other tactics/tacticals must be
- * added here *)
+(* TODO Zack: these are just some examples, a lot of other tactics/tacticals
+ * must be added here *)
val intros: ?namer:MatitaTypes.namer ->
proofStatus -> MatitaTypes.command