src/LCF/IsaMakefile
changeset 17246 0f22089c6b9e
parent 6213 f5bdd6497e08
child 19755 90f80de04c46
equal deleted inserted replaced
17245:1c519a3cca59 17246:0f22089c6b9e
    24 LCF: FOL $(OUT)/LCF
    24 LCF: FOL $(OUT)/LCF
    25 
    25 
    26 FOL:
    26 FOL:
    27 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
    27 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
    28 
    28 
    29 $(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \
    29 $(OUT)/LCF: $(OUT)/FOL LCF_lemmas.ML LCF.thy ROOT.ML fix.ML pair.ML
    30   pair.thy simpdata.ML
       
    31 	@$(ISATOOL) usedir -b -r $(OUT)/FOL LCF
    30 	@$(ISATOOL) usedir -b -r $(OUT)/FOL LCF
    32 
    31 
    33 
    32 
    34 ## LCF-ex
    33 ## LCF-ex
    35 
    34