_in_proof">check_parents_and_uplinks_in_proof</A></TD><TD><A HREF="#expand_proof">expand_proof</A></TD><TD><A HREF="#proof_id_to_clause">proof_id_to_clause</A></TD><TD><A HREF="#renumber_proof">renumber_proof</A></TD>
</TR>
<TR><TD><A HREF="#copy_and_renumber_proof">copy_and_renumber_proof</A></TD><TD><A HREF="#greatest_id_in_proof">greatest_id_in_proof</A></TD><TD><A HREF="#proof_to_xproof">proof_to_xproof</A></TD><TD></TD>
</TR>
</TABLE>
<H4>Details</H4>
<A NAME="check_parents_and_uplinks_in_proof"></A><H