src/HOL/Makefile
changeset 1254 a28e04685adc
parent 1253 131f72e2cd56
child 1264 3eb91524b938
     1.1 --- a/src/HOL/Makefile	Mon Sep 11 12:38:20 1995 +0200
     1.2 +++ b/src/HOL/Makefile	Mon Sep 11 14:16:28 1995 +0200
     1.3 @@ -78,7 +78,7 @@
     1.4  IOA_ABP_NAMES = Action Correctness Lemmas
     1.5  IOA_MT_NAMES = Asig IOA Option Solve
     1.6  
     1.7 -IOA_FILES = IOA/ROOT.ML IOA/NTP/Spec.thy\
     1.8 +IOA_FILES = IOA/ROOT_NTP.ML IOA/ROOT_ABP.ML IOA/NTP/Spec.thy\
     1.9   $(IOA_NTP_NAMES:%=IOA/NTP/%.thy) $(IOA_NTP_NAMES:%=IOA/NTP/%.ML)\
    1.10   IOA/ABP/Abschannel.thy IOA/ABP/Abschannel_finite.thy IOA/ABP/Env.thy\
    1.11   IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy IOA/ABP/Packet.thy\