/compute_rules.sig/1.3/Thu Dec 28 15:16:39 2000//
/compute_rules.sml/1.2/Thu Dec 28 15:16:40 2000//
/equations.sml/1.9/Thu Dec 28 15:16:39 2000//
/clauses.sml/1.15/Thu Mar 22 02:23:37 2001//
/computeLib.sig/1.17/Wed Jun 20 11:22:51 2001//
/computeLib.sml/1.17/Wed Jun 20 11:22:32 2001//
D
