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