/AST.h/1.1/Sun Feb 23 18:16:44 2003//
/PT-omega.c/1.1/Sun Feb 23 18:16:44 2003//
/RelBody.h/1.1/Sun Feb 23 18:16:44 2003//
/Rel_map.h/1.1/Sun Feb 23 18:16:44 2003//
/Relation.h/1.1/Sun Feb 23 18:16:44 2003//
/Relations.h/1.1/Sun Feb 23 18:16:44 2003//
/calc_debug.h/1.1/Sun Feb 23 18:16:44 2003//
/closure.h/1.1/Sun Feb 23 18:16:44 2003//
/enter_AST.h/1.1/Sun Feb 23 18:16:44 2003//
/enter_omega.h/1.1/Sun Feb 23 18:16:44 2003//
/evac.h/1.1/Sun Feb 23 18:16:44 2003//
/farkas.h/1.1/Sun Feb 23 18:16:44 2003//
/hull.h/1.1/Sun Feb 23 18:16:45 2003//
/leave_AST.h/1.1/Sun Feb 23 18:16:45 2003//
/leave_omega.h/1.1/Sun Feb 23 18:16:45 2003//
/lib_hack.h/1.1/Sun Feb 23 18:16:45 2003//
/library_version.h/1.1/Sun Feb 23 18:16:45 2003//
/omega_i.h/1.1/Sun Feb 23 18:16:45 2003//
/pres_cmpr.h/1.1/Sun Feb 23 18:16:45 2003//
/pres_cnstr.h/1.1/Sun Feb 23 18:16:45 2003//
/pres_conj.h/1.1/Sun Feb 23 18:16:45 2003//
/pres_decl.h/1.1/Sun Feb 23 18:16:45 2003//
/pres_dnf.h/1.1/Sun Feb 23 18:16:45 2003//
/pres_form.h/1.1/Sun Feb 23 18:16:45 2003//
/pres_gen.h/1.1/Sun Feb 23 18:16:46 2003//
/pres_logic.h/1.1/Sun Feb 23 18:16:46 2003//
/pres_quant.h/1.1/Sun Feb 23 18:16:46 2003//
/pres_subs.h/1.1/Sun Feb 23 18:16:46 2003//
/pres_tree.h/1.1/Sun Feb 23 18:16:46 2003//
/pres_var.h/1.1/Sun Feb 23 18:16:46 2003//
/reach.h/1.1/Sun Feb 23 18:16:46 2003//
D/omega_core////
