(* Title: Tools/profiling.ML Author: Makarius Session profiling based on loaded ML image. *) theory Profiling imports Pure begin ML_file "profiling.ML" ML_command ‹Profiling.main ()› end