 clausify.
<A NAME="copy_just"></A><HR><PRE><B>Just copy_just(Topform c);
</B></PRE>This routine builds and returns a justification list for copy.
<A NAME="copy_justification"></A><HR><PRE><B>Just copy_justification(Just j);
</B></PRE>Copy a justification.
<A NAME="demod_just"></A><HR><PRE><B>Just demod_just(I3list steps);
</B></PRE>This routine builds and returns a justification for a demodulation.
<A NAME="deny_just"></A><HR><PRE><B>Just deny_just(Topform tf);
</B></PRE>This routine builds and returns a j