src/Pure/IsaMakefile

   goal_display.ML					\
   interpretation.ML					\
   item_net.ML						\
   library.ML						\
   logic.ML						\
-  meta_simplifier.ML					\
   more_thm.ML						\
   morphism.ML						\
   name.ML						\
   net.ML						\
   old_term.ML						\
   pattern.ML						\
   primitive_defs.ML					\
   proofterm.ML						\
   pure_setup.ML						\
   pure_thy.ML						\
+  raw_simplifier.ML					\
   search.ML						\
   sign.ML						\
   simplifier.ML						\
   sorts.ML						\
   subgoal.ML						\