/PTAUT_CONV.doc/1.1.1.1/Thu Dec 28 15:15:44 2000//
/PTAUT_PROVE.doc/1.1.1.1/Thu Dec 28 15:15:44 2000//
/PTAUT_TAC.doc/1.1.1.1/Thu Dec 28 15:15:44 2000//
/TAUT_CONV.doc/1.1.1.1/Thu Dec 28 15:15:44 2000//
/TAUT_PROVE.doc/1.1.1.1/Thu Dec 28 15:15:44 2000//
/TAUT_TAC.doc/1.1.1.1/Thu Dec 28 15:15:44 2000//
D
