src/Pure/Isar/ROOT.ML

 use "obtain.ML";
 use "locale.ML";
 use "local_theory.ML";
 use "specification.ML";
 use "constdefs.ML";
+use "../axclass.ML";
 
 (*outer syntax*)
 use "antiquote.ML";
 use "outer_parse.ML";
 use "outer_keyword.ML";