#flip_just">flip_just</A></TD><TD><A HREF="#jmap1">jmap1</A></TD><TD><A HREF="#propositional_just">propositional_just</A></TD>
</TR>
<TR><TD><A HREF="#back_demod_just">back_demod_just</A></TD><TD><A HREF="#fprint_just_mem">fprint_just_mem</A></TD><TD><A HREF="#jmap2">jmap2</A></TD><TD><A HREF="#resolve_just">resolve_just</A></TD>
</TR>
<TR><TD><A HREF="#back_unit_deletion_just">back_unit_deletion_just</A></TD><TD><A HREF="#get_clause_ancestors">get_clause_ancestors</A></TD><TD><A HREF="#jstring">jstring</A>