/equations.ml/1.5/Wed Nov 17 18:58:35 1999//Tcducetrunk
/equations.mli/1.5/Wed Nov 17 18:58:35 1999//Tcducetrunk
/kb.ml/1.5/Wed Nov 17 18:58:35 1999//Tcducetrunk
/kb.mli/1.4/Wed Nov 17 18:58:35 1999//Tcducetrunk
/kbmain.ml/1.5/Wed Nov 17 18:58:36 1999//Tcducetrunk
/orderings.ml/1.4/Wed Nov 17 18:58:36 1999//Tcducetrunk
/orderings.mli/1.4/Wed Nov 17 18:58:37 1999//Tcducetrunk
/terms.ml/1.5/Wed Nov 17 18:58:37 1999//Tcducetrunk
/terms.mli/1.4/Wed Nov 17 18:58:38 1999//Tcducetrunk
D
