src/Pure/ROOT.ML
changeset 47057 12423b36fcc4
parent 45709 87017fcbad83
child 47336 bed4b2738d8a
equal deleted inserted replaced
47051:b32e6de4a39b 47057:12423b36fcc4
   222 use "axclass.ML";
   222 use "axclass.ML";
   223 use "Isar/class.ML";
   223 use "Isar/class.ML";
   224 use "Isar/named_target.ML";
   224 use "Isar/named_target.ML";
   225 use "Isar/expression.ML";
   225 use "Isar/expression.ML";
   226 use "Isar/class_declaration.ML";
   226 use "Isar/class_declaration.ML";
       
   227 use "Isar/bundle.ML";
   227 
   228 
   228 use "simplifier.ML";
   229 use "simplifier.ML";
   229 
   230 
   230 (*executable theory content*)
   231 (*executable theory content*)
   231 use "Isar/code.ML";
   232 use "Isar/code.ML";