The evaluation of PROVE-FILE on the file: #./fm9001-piton/piton.events was completed successfully. No nondefinitional axioms were assumed. No actions involving undoing, i.e., uses of UBT, were encountered. Total Statistics: [ 47.6 1201.7 35.0 ] Start of run: April 2, 2000 19:53:09 End of run: April 2, 2000 20:17:40