Made proofs of theorems (make_cond_rule_true_ax, make_cond_rule_false_ax) get constants from info generated by tactics.
Made proofs of theorems (make_cond_rule_true_ax,
make_cond_rule_false_ax) get constants from info generated by tactics.

mwb-cde/hseq-prover