src/HOL/IsaMakefile
changeset 13964 bfca18e9ab72
parent 13961 233dd3bb2390
child 13966 2160abf7cfe7
equal deleted inserted replaced
13963:ba7aa8c426ad 13964:bfca18e9ab72
   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