/BasicProvers.sig/1.3/Fri Jun 15 16:54:52 2001//
/BasicProvers.sml/1.10/Wed Jun 20 14:46:08 2001//
D
