src/HOL/IsaMakefile
changeset 6254 f6335d319e9f
parent 6250 354848db4052
child 6302 957d8e203be1
equal deleted inserted replaced
6253:dbaf79ac2ff9 6254:f6335d319e9f
   311 
   311 
   312 ## TLA
   312 ## TLA
   313 
   313 
   314 TLA: HOL $(OUT)/TLA
   314 TLA: HOL $(OUT)/TLA
   315 
   315 
   316 $(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/IntLemmas.ML \
   316 $(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/Init.ML \
   317   TLA/Intensional.ML TLA/Intensional.thy TLA/ROOT.ML TLA/Stfun.ML \
   317   TLA/Init.thy TLA/IntLemmas.ML TLA/Intensional.ML TLA/Intensional.thy \
   318   TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy TLA/cladata.ML TLA/hypsubst.ML
   318   TLA/ROOT.ML TLA/Stfun.ML TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy
   319 	@cd TLA; $(ISATOOL) usedir -b $(OUT)/HOL TLA
   319 	@cd TLA; $(ISATOOL) usedir -b $(OUT)/HOL TLA
   320 
   320 
   321 
   321 
   322 ## TLA-Inc
   322 ## TLA-Inc
   323 
   323