# HG changeset patch
# User berghofe
# Date 870990509 -7200
# Node ID 225f2565fefff841f6319d5761b8999404a5c207
# Parent  f52a8342e9443e333489c8621847337982140cde
Removed references to simplifier.

diff -r f52a8342e944 -r 225f2565feff src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Thu Aug 07 23:46:36 1997 +0200
+++ b/src/Pure/IsaMakefile	Thu Aug 07 23:48:29 1997 +0200
@@ -19,8 +19,7 @@
         axclass.ML basis.ML deriv.ML display.ML drule.ML \
 	envir.ML goals.ML install_pp.ML library.ML logic.ML net.ML pattern.ML \
 	search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \
-	tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML \
-	../Provers/simplifier.ML
+	tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML
 
 $(OUT)/Pure: $(FILES)
 	@./mk