equal
deleted
inserted
replaced
178 ## HOL-Protocol |
178 ## HOL-Protocol |
179 |
179 |
180 HOL-Protocol: HOL $(LOG)/HOL-Protocol.gz |
180 HOL-Protocol: HOL $(LOG)/HOL-Protocol.gz |
181 |
181 |
182 $(LOG)/HOL-Protocol.gz: $(OUT)/HOL Protocol/ROOT.ML \ |
182 $(LOG)/HOL-Protocol.gz: $(OUT)/HOL Protocol/ROOT.ML \ |
183 Protocol/Message.thy Protocol/Message_lemmas.ML \ |
183 Protocol/Message.thy Protocol/Event.thy \ |
184 Protocol/Event.thy Protocol/Event_lemmas.ML \ |
184 Protocol/Public.thy Protocol/NS_Public.thy |
185 Protocol/Public.thy Protocol/Public_lemmas.ML \ |
|
186 Protocol/NS_Public.thy |
|
187 $(USEDIR) Protocol |
185 $(USEDIR) Protocol |
188 @rm -f tutorial.dvi |
186 @rm -f tutorial.dvi |
189 |
187 |
190 ## HOL-Documents |
188 ## HOL-Documents |
191 |
189 |