The evaluation of PROVE-FILE on the file: #./basic/hanoi.events was completed successfully. Nqthm-1992 mods: (PC-NQTHM-1992) No nondefinitional axioms were assumed. No actions involving undoing, i.e., uses of UBT, were encountered. Total Statistics: [ 0.4 1.2 0.3 ] Start of run: April 4, 2000 11:11:54 End of run: April 4, 2000 11:11:56