src/HOL/Makefile
changeset 1253 131f72e2cd56
parent 1174 e57a93d41de0
child 1254 a28e04685adc
     1.1 --- a/src/HOL/Makefile	Fri Sep 08 14:52:22 1995 +0200
     1.2 +++ b/src/HOL/Makefile	Mon Sep 11 12:38:20 1995 +0200
     1.3 @@ -87,7 +87,8 @@
     1.4   $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML)
     1.5  
     1.6  IOA:    $(BIN)/HOL  $(IOA_FILES)
     1.7 -	echo 'exit_use"IOA/ROOT.ML";quit();' | $(LOGIC)
     1.8 +	echo 'exit_use"IOA/ROOT_NTP.ML";quit();' | $(LOGIC)
     1.9 +	echo 'exit_use"IOA/ROOT_ABP.ML";quit();' | $(LOGIC)
    1.10  
    1.11  ##Properties of substitutions
    1.12  SUBST_NAMES = AList Setplus Subst Unifier UTerm UTLemmas