/DELETE_CONV.doc/1.2/Thu Dec 28 15:14:28 2000//
/FINITE_CONV.doc/1.1.1.1/Thu Dec 28 15:14:28 2000//
/IMAGE_CONV.doc/1.1.1.1/Thu Dec 28 15:14:28 2000//
/INSERT_CONV.doc/1.1.1.1/Thu Dec 28 15:14:28 2000//
/IN_CONV.doc/1.2/Thu Dec 28 15:14:28 2000//
/SET_INDUCT_TAC.doc/1.1.1.1/Thu Dec 28 15:14:28 2000//
/SET_SPEC_CONV.doc/1.1.1.1/Thu Dec 28 15:14:28 2000//
/UNION_CONV.doc/1.1.1.1/Thu Dec 28 15:14:28 2000//
D
