--- a/src/Pure/IsaMakefile Tue Jul 25 23:17:42 2006 +0200
+++ b/src/Pure/IsaMakefile Wed Jul 26 00:44:44 2006 +0200
@@ -65,8 +65,8 @@
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