uild_reflex_eq</A></TD><TD><A HREF="#fold_denial">fold_denial</A></TD><TD><A HREF="#new_constant">new_constant</A></TD><TD><A HREF="#same_term_structure">same_term_structure</A></TD>
</TR>
<TR><TD><A HREF="#eq_tautology">eq_tautology</A></TD><TD><A HREF="#init_paramod">init_paramod</A></TD><TD><A HREF="#orient_equalities">orient_equalities</A></TD><TD><A HREF="#top_flip">top_flip</A></TD>
</TR>
<TR><TD><A HREF="#equational_def">equational_def</A></TD><TD><A HREF="#literal_flip">literal_flip</A></TD><TD><A H