equal
deleted
inserted
replaced
381 Auth/Guard/Guard_Public.thy Auth/Guard/Guard_Shared.thy \ |
381 Auth/Guard/Guard_Public.thy Auth/Guard/Guard_Shared.thy \ |
382 Auth/Guard/Guard.thy Auth/Guard/List_Msg.thy \ |
382 Auth/Guard/Guard.thy Auth/Guard/List_Msg.thy \ |
383 Auth/Guard/NS_Public.thy Auth/Guard/OtwayRees.thy \ |
383 Auth/Guard/NS_Public.thy Auth/Guard/OtwayRees.thy \ |
384 Auth/Guard/P1.thy Auth/Guard/P2.thy \ |
384 Auth/Guard/P1.thy Auth/Guard/P2.thy \ |
385 Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy |
385 Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy |
386 @$(ISATOOL) usedir $(OUT)/HOL Auth |
386 @$(ISATOOL) usedir -g true $(OUT)/HOL Auth |
387 |
387 |
388 |
388 |
389 ## HOL-UNITY |
389 ## HOL-UNITY |
390 |
390 |
391 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |
391 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |