prefer rewrite_term_yoyo for improved performance and occasionally better results (conforming to Ast.normalize);
(* Title: Tools/profiling.ML
Author: Makarius
Session profiling based on loaded ML image.
*)
theory Profiling
imports Pure
begin
ML_file "profiling.ML"
ML_command \<open>Profiling.main ()\<close>
end