Removed references to simplifier.
authorberghofe
Thu Aug 07 23:48:29 1997 +0200 (1997-08-07)
changeset 3642225f2565feff
parent 3641 f52a8342e944
child 3643 4394662893b2
Removed references to simplifier.
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/IsaMakefile	Thu Aug 07 23:46:36 1997 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Thu Aug 07 23:48:29 1997 +0200
     1.3 @@ -19,8 +19,7 @@
     1.4          axclass.ML basis.ML deriv.ML display.ML drule.ML \
     1.5  	envir.ML goals.ML install_pp.ML library.ML logic.ML net.ML pattern.ML \
     1.6  	search.ML section_utils.ML sequence.ML sign.ML sorts.ML symtab.ML tactic.ML \
     1.7 -	tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML \
     1.8 -	../Provers/simplifier.ML
     1.9 +	tctical.ML term.ML theory.ML thm.ML type.ML type_infer.ML unify.ML
    1.10  
    1.11  $(OUT)/Pure: $(FILES)
    1.12  	@./mk