REF="#oriented_eq">oriented_eq</A></TD><TD><A HREF="#unfold_order">unfold_order</A></TD>
</TR>
<TR><TD><A HREF="#equational_def_2">equational_def_2</A></TD><TD><A HREF="#mark_oriented_eq">mark_oriented_eq</A></TD><TD><A HREF="#renamable_flip_eq">renamable_flip_eq</A></TD><TD><A HREF="#zap_literal_flip">zap_literal_flip</A></TD>
</TR>
<TR><TD><A HREF="#flip_eq">flip_eq</A></TD><TD><A HREF="#mark_renamable_flip">mark_renamable_flip</A></TD><TD><A HREF="#renamable_flip_eq_test">renamable_flip_eq_test</A></TD><