src/Pure/IsaMakefile

   Tools/invoke.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.ML		\
   axclass.ML codegen.ML compress.ML conjunction.ML consts.ML context.ML defs.ML	\
   display.ML drule.ML envir.ML fact_index.ML goal.ML install_pp.ML		\
   library.ML logic.ML meta_simplifier.ML name.ML net.ML old_goals.ML pattern.ML	\
   proof_general.ML proofterm.ML pure_thy.ML search.ML sign.ML			\
-  simplifier.ML sorts.ML tactic.ML tctical.ML term.ML theory.ML thm.ML		\
-  type.ML type_infer.ML variable.ML unify.ML
+  simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML theory.ML	\
+  thm.ML type.ML type_infer.ML variable.ML unify.ML
 	@./mk
 
 
 ## special targets