equal
deleted
inserted
replaced
114 |
114 |
115 ## IOA-NTP |
115 ## IOA-NTP |
116 |
116 |
117 IOA-NTP: IOA $(LOG)/IOA-NTP.gz |
117 IOA-NTP: IOA $(LOG)/IOA-NTP.gz |
118 |
118 |
119 $(LOG)/IOA-NTP.gz: $(OUT)/IOA IOA/NTP/Abschannel.ML \ |
119 $(LOG)/IOA-NTP.gz: $(OUT)/IOA \ |
120 IOA/NTP/Abschannel.thy IOA/NTP/Action.thy \ |
120 IOA/NTP/Abschannel.thy IOA/NTP/Action.thy IOA/NTP/Correctness.thy \ |
121 IOA/NTP/Correctness.ML IOA/NTP/Correctness.thy IOA/NTP/Impl.ML \ |
121 IOA/NTP/Impl.thy IOA/NTP/Lemmas.thy IOA/NTP/Multiset.thy \ |
122 IOA/NTP/Impl.thy IOA/NTP/Lemmas.ML IOA/NTP/Lemmas.thy \ |
122 IOA/NTP/Packet.thy IOA/NTP/ROOT.ML IOA/NTP/Receiver.thy IOA/NTP/Sender.thy \ |
123 IOA/NTP/Multiset.ML IOA/NTP/Multiset.thy IOA/NTP/Packet.ML \ |
|
124 IOA/NTP/Packet.thy IOA/NTP/ROOT.ML IOA/NTP/Receiver.ML \ |
|
125 IOA/NTP/Receiver.thy IOA/NTP/Sender.ML IOA/NTP/Sender.thy \ |
|
126 IOA/NTP/Spec.thy |
123 IOA/NTP/Spec.thy |
127 @cd IOA; $(ISATOOL) usedir $(OUT)/IOA NTP |
124 @cd IOA; $(ISATOOL) usedir $(OUT)/IOA NTP |
128 |
125 |
129 |
126 |
130 ## IOA-Modelcheck |
127 ## IOA-Modelcheck |