equal
deleted
inserted
replaced
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)\ |