
</B></PRE><A NAME="proof_to_xproof"></A><HR><PRE><B>Plist proof_to_xproof(Plist proof);
</B></PRE><A NAME="renumber_proof"></A><HR><PRE><B>void renumber_proof(Plist proof, int start);
</B></PRE>We assume that every clause occurs after its parents.
<HR><A NAME=defns></A><H2>Public Definitions in File xproofs.h</H2>
<PRE>
</PRE><HR><A NAME=intro></A><H2>Introduction</H2>

<HR>
</BODY>
</HTML>
