/PTAUT_CONV.doc/1.1.1.1/Mon Oct 16 13:31:09 1995//THOL97
/PTAUT_PROVE.doc/1.1.1.1/Mon Oct 16 13:31:09 1995//THOL97
/PTAUT_TAC.doc/1.1.1.1/Mon Oct 16 13:31:09 1995//THOL97
/TAUT_CONV.doc/1.1.1.1/Mon Oct 16 13:31:09 1995//THOL97
/TAUT_PROVE.doc/1.1.1.1/Mon Oct 16 13:31:10 1995//THOL97
/TAUT_TAC.doc/1.1.1.1/Mon Oct 16 13:31:10 1995//THOL97
