src/HOL/ROOT.ML

 
 (* Add user sections *)
 use "../Pure/section_utils.ML";
 use "thy_syntax.ML";
 
+use "../Provers/simplifier.ML";
 use "../Provers/splitter.ML";
 use "../Provers/hypsubst.ML";
 use "../Provers/classical.ML";
 use "../Provers/blast.ML";
 use "../Provers/nat_transitive.ML";