src/HOL/Makefile
changeset 1254 a28e04685adc
parent 1253 131f72e2cd56
child 1264 3eb91524b938
equal deleted inserted replaced
1253:131f72e2cd56 1254:a28e04685adc
    76 IOA_NTP_NAMES = Abschannel Action Correctness Impl Lemmas Multiset Packet\
    76 IOA_NTP_NAMES = Abschannel Action Correctness Impl Lemmas Multiset Packet\
    77                 Receiver Sender
    77                 Receiver Sender
    78 IOA_ABP_NAMES = Action Correctness Lemmas
    78 IOA_ABP_NAMES = Action Correctness Lemmas
    79 IOA_MT_NAMES = Asig IOA Option Solve
    79 IOA_MT_NAMES = Asig IOA Option Solve
    80 
    80 
    81 IOA_FILES = IOA/ROOT.ML IOA/NTP/Spec.thy\
    81 IOA_FILES = IOA/ROOT_NTP.ML IOA/ROOT_ABP.ML IOA/NTP/Spec.thy\
    82  $(IOA_NTP_NAMES:%=IOA/NTP/%.thy) $(IOA_NTP_NAMES:%=IOA/NTP/%.ML)\
    82  $(IOA_NTP_NAMES:%=IOA/NTP/%.thy) $(IOA_NTP_NAMES:%=IOA/NTP/%.ML)\
    83  IOA/ABP/Abschannel.thy IOA/ABP/Abschannel_finite.thy IOA/ABP/Env.thy\
    83  IOA/ABP/Abschannel.thy IOA/ABP/Abschannel_finite.thy IOA/ABP/Env.thy\
    84  IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy IOA/ABP/Packet.thy\
    84  IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy IOA/ABP/Packet.thy\
    85  IOA/ABP/Receiver.thy IOA/ABP/Sender.thy IOA/ABP/Spec.thy\
    85  IOA/ABP/Receiver.thy IOA/ABP/Sender.thy IOA/ABP/Spec.thy\
    86  $(IOA_ABP_NAMES:%=IOA/ABP/%.thy) $(IOA_ABP_NAMES:%=IOA/ABP/%.ML)\
    86  $(IOA_ABP_NAMES:%=IOA/ABP/%.thy) $(IOA_ABP_NAMES:%=IOA/ABP/%.ML)\