_just_type</A></TD><TD></TD>
</TR>
<TR><TD><A HREF="#first_negative_parent">first_negative_parent</A></TD><TD><A HREF="#ivy_just">ivy_just</A></TD><TD><A HREF="#proof_length">proof_length</A></TD><TD></TD>
</TR>
</TABLE>
<H4>Details</H4>
<A NAME="append_just"></A><HR><PRE><B>Just append_just(Just j1, Just j2);
</B></PRE>This appends two justifications.  No copying occurs.
<A NAME="back_demod_just"></A><HR><PRE><B>Just back_demod_just(Topform c);
</B></PRE>This routine builds and returns a justification list