equal
deleted
inserted
replaced
93 ## IOA-ABP |
93 ## IOA-ABP |
94 |
94 |
95 IOA-ABP: IOA $(LOG)/IOA-ABP.gz |
95 IOA-ABP: IOA $(LOG)/IOA-ABP.gz |
96 |
96 |
97 $(LOG)/IOA-ABP.gz: $(OUT)/IOA IOA/ABP/Abschannel.thy \ |
97 $(LOG)/IOA-ABP.gz: $(OUT)/IOA IOA/ABP/Abschannel.thy \ |
98 IOA/ABP/Abschannel_finite.thy IOA/ABP/Action.ML IOA/ABP/Action.thy \ |
98 IOA/ABP/Abschannel_finite.thy IOA/ABP/Action.thy \ |
99 IOA/ABP/Check.ML IOA/ABP/Correctness.ML IOA/ABP/Correctness.thy \ |
99 IOA/ABP/Check.ML IOA/ABP/Correctness.ML IOA/ABP/Correctness.thy \ |
100 IOA/ABP/Env.thy IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy \ |
100 IOA/ABP/Env.thy IOA/ABP/Impl.thy IOA/ABP/Impl_finite.thy \ |
101 IOA/ABP/Lemmas.ML IOA/ABP/Lemmas.thy IOA/ABP/Packet.thy \ |
101 IOA/ABP/Lemmas.ML IOA/ABP/Lemmas.thy IOA/ABP/Packet.thy \ |
102 IOA/ABP/ROOT.ML IOA/ABP/Receiver.thy IOA/ABP/Sender.thy \ |
102 IOA/ABP/ROOT.ML IOA/ABP/Receiver.thy IOA/ABP/Sender.thy \ |
103 IOA/ABP/Spec.thy |
103 IOA/ABP/Spec.thy |
106 ## IOA-NTP |
106 ## IOA-NTP |
107 |
107 |
108 IOA-NTP: IOA $(LOG)/IOA-NTP.gz |
108 IOA-NTP: IOA $(LOG)/IOA-NTP.gz |
109 |
109 |
110 $(LOG)/IOA-NTP.gz: $(OUT)/IOA IOA/NTP/Abschannel.ML \ |
110 $(LOG)/IOA-NTP.gz: $(OUT)/IOA IOA/NTP/Abschannel.ML \ |
111 IOA/NTP/Abschannel.thy IOA/NTP/Action.ML IOA/NTP/Action.thy \ |
111 IOA/NTP/Abschannel.thy IOA/NTP/Action.thy \ |
112 IOA/NTP/Correctness.ML IOA/NTP/Correctness.thy IOA/NTP/Impl.ML \ |
112 IOA/NTP/Correctness.ML IOA/NTP/Correctness.thy IOA/NTP/Impl.ML \ |
113 IOA/NTP/Impl.thy IOA/NTP/Lemmas.ML IOA/NTP/Lemmas.thy \ |
113 IOA/NTP/Impl.thy IOA/NTP/Lemmas.ML IOA/NTP/Lemmas.thy \ |
114 IOA/NTP/Multiset.ML IOA/NTP/Multiset.thy IOA/NTP/Packet.ML \ |
114 IOA/NTP/Multiset.ML IOA/NTP/Multiset.thy IOA/NTP/Packet.ML \ |
115 IOA/NTP/Packet.thy IOA/NTP/ROOT.ML IOA/NTP/Receiver.ML \ |
115 IOA/NTP/Packet.thy IOA/NTP/ROOT.ML IOA/NTP/Receiver.ML \ |
116 IOA/NTP/Receiver.thy IOA/NTP/Sender.ML IOA/NTP/Sender.thy \ |
116 IOA/NTP/Receiver.thy IOA/NTP/Sender.ML IOA/NTP/Sender.thy \ |