Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed references to simplifier.
authorberghofe
Thu, 07 Aug 1997 23:48:29 +0200
changeset 3642 225f2565feff
parent 3641 f52a8342e944
child 3643 4394662893b2
Removed references to simplifier.
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle