WATCH: 0.00 CPU 0.01 WC
cp: `/tmp/IsabelleP_31028_cl5-019/TTE078.thy' and `/tmp/IsabelleP_31028_cl5-019/TTE078.thy' are the same file
% Removing Isabelle's /tmp/IsabelleP_31028_cl5-019

WATCH: 1.92 CPU 2.41 WC

FINAL WATCH: 1.92 CPU 2.41 WC