lip"></A><HR><PRE><B>void zap_literal_flip(Literals a);
</B></PRE>Free a literal created by literal_flip.
<A NAME="zap_top_flip"></A><HR><PRE><B>void zap_top_flip(<A HREF="term.html">Term</A> a);
</B></PRE>Free a term created by top_flip.
<HR><A NAME=defns></A><H2>Public Definitions in File parautil.h</H2>
<PRE>
</PRE><HR><A NAME=intro></A><H2>Introduction</H2>
This package contains a few utilites for paramodulation and demodulation.

<HR>
</BODY>
</HTML>
