diff -r 131f72e2cd56 -r a28e04685adc src/HOL/Makefile
--- a/src/HOL/Makefile	Mon Sep 11 12:38:20 1995 +0200
+++ b/src/HOL/Makefile	Mon Sep 11 14:16:28 1995 +0200
@@ -78,7 +78,7 @@
 IOA_ABP_NAMES = Action Correctness Lemmas
 IOA_MT_NAMES = Asig IOA Option Solve
 
-IOA_FILES = IOA/ROOT.ML IOA/NTP/Spec.thy\
+IOA_FILES = IOA/ROOT_NTP.ML IOA/ROOT_ABP.ML IOA/NTP/Spec.thy\
  $(IOA_NTP_NAMES:%=IOA/NTP/%.thy) $(IOA_NTP_NAMES:%=IOA/NTP/%.ML)\
  IOA/ABP/Abschannel.thy IOA/ABP/Abschannel_finite.thy IOA/ABP/Env.thy\
  IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy IOA/ABP/Packet.thy\