WATCH: 0.00 CPU 0.01 WC
cp: `/tmp/IsabelleP_32383_cl5-029/TEQ167.thy' and `/tmp/IsabelleP_32383_cl5-029/TEQ167.thy' are the same file
% Removing Isabelle's /tmp/IsabelleP_32383_cl5-029

WATCH: 1.89 CPU 2.32 WC

FINAL WATCH: 1.89 CPU 2.32 WC