/DELETE_CONV.doc/1.1.1.1/Mon Oct 16 13:31:13 1995//THOL97
/FINITE_CONV.doc/1.1.1.1/Mon Oct 16 13:31:13 1995//THOL97
/IMAGE_CONV.doc/1.1.1.1/Mon Oct 16 13:31:13 1995//THOL97
/INSERT_CONV.doc/1.1.1.1/Mon Oct 16 13:31:12 1995//THOL97
/IN_CONV.doc/1.1.1.1/Mon Oct 16 13:31:12 1995//THOL97
/SET_INDUCT_TAC.doc/1.1.1.1/Mon Oct 16 13:31:14 1995//THOL97
/SET_SPEC_CONV.doc/1.1.1.1/Mon Oct 16 13:31:13 1995//THOL97
/UNION_CONV.doc/1.1.1.1/Mon Oct 16 13:31:13 1995//THOL97
