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