# HG changeset patch
# User clasohm
# Date 810821788 -7200
# Node ID a28e04685adcecff148a03f2b77b84a3a7a61520
# Parent  131f72e2cd565e3e8ec63f0a59b5c17df18ec04d
replaced "IOA/ROOT.ML" by "IOA/ROOT_NTP.ML IOA/ROOT_ABP.ML"

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\