D/omega_core////
/AST.h/1.1/Thu Jun 29 19:24:00 2000//
/PT-omega.c/1.1/Thu Jun 29 19:24:00 2000//
/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/Thu Jun 29 19:24:01 2000//
/closure.h/1.1/Thu Jun 29 19:24:01 2000//
/enter_AST.h/1.1/Thu Jun 29 19:24:01 2000//
/enter_omega.h/1.1/Thu Jun 29 19:24:01 2000//
/evac.h/1.1/Thu Jun 29 19:24:01 2000//
/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/Thu Jun 29 19:24:01 2000//
/leave_omega.h/1.1/Thu Jun 29 19:24:01 2000//
/lib_hack.h/1.1/Thu Jun 29 19:24:01 2000//
/library_version.h/1.1/Wed Aug  2 20:04:42 2000//
/omega_i.h/1.1/Thu Jun 29 19:24:01 2000//
/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/Thu Jun 29 19:24:03 2000//
/pres_tree.h/1.1/Thu Jun 29 19:24:03 2000//
/pres_var.h/1.1/Sun Feb 23 18:16:46 2003//
/reach.h/1.1/Thu Jun 29 19:24:03 2000//
