diff -r 1a1b4c1b2b7c -r 0e015d9bea4e src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Tue Nov 07 17:42:19 2000 +0100
+++ b/src/Pure/IsaMakefile	Tue Nov 07 17:44:48 2000 +0100
@@ -45,7 +45,7 @@
   Thy/thm_database.ML Thy/thy_info.ML Thy/thy_load.ML Thy/thy_parse.ML	\
   Thy/thy_scan.ML Thy/thy_syn.ML axclass.ML basis.ML context.ML		\
   deriv.ML display.ML drule.ML envir.ML goals.ML install_pp.ML		\
-  library.ML locale.ML logic.ML net.ML pattern.ML pure.ML pure_thy.ML	\
+  library.ML locale.ML logic.ML meta_simplifier.ML net.ML pattern.ML pure.ML pure_thy.ML	\
   search.ML sign.ML sorts.ML tactic.ML tctical.ML term.ML theory.ML	\
   theory_data.ML thm.ML type.ML type_infer.ML unify.ML
 	@./mk