removed obsolete time accumulator (better use Toplevel.profiling);
removed obsolete time accumulator (better use Toplevel.profiling);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle