# HG changeset patch # User clasohm # Date 816520718 -3600 # Node ID 6b2352bd85f567bd1f51f6193cb3d2ff8867d59d # Parent a60d1abb06c0a865ebfb3aaec6e9c18e90af59c7 added ../Provers/simplifier.ML diff -r a60d1abb06c0 -r 6b2352bd85f5 src/Pure/Makefile --- a/src/Pure/Makefile Wed Nov 15 13:28:21 1995 +0100 +++ b/src/Pure/Makefile Thu Nov 16 12:18:38 1995 +0100 @@ -23,7 +23,8 @@ COMP = $(ISABELLECOMP) FILES = POLY.ML NJ.ML ROOT.ML library.ML term.ML symtab.ML type.ML sign.ML\ sequence.ML envir.ML pattern.ML unify.ML logic.ML thm.ML net.ML\ - drule.ML tctical.ML tactic.ML goals.ML axclass.ML install_pp.ML + drule.ML tctical.ML tactic.ML goals.ML axclass.ML install_pp.ML\ + ../Provers/simplifier.ML SYNTAX_FILES = Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML\ Syntax/parser.ML Syntax/type_ext.ML Syntax/syn_trans.ML\