equal
deleted
inserted
replaced
472 ## TLA |
472 ## TLA |
473 |
473 |
474 TLA: HOL $(OUT)/TLA |
474 TLA: HOL $(OUT)/TLA |
475 |
475 |
476 $(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/Init.ML \ |
476 $(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/Init.ML \ |
477 TLA/Init.thy TLA/IntLemmas.ML TLA/Intensional.ML TLA/Intensional.thy \ |
477 TLA/Init.thy TLA/Intensional.ML TLA/Intensional.thy \ |
478 TLA/ROOT.ML TLA/Stfun.ML TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy |
478 TLA/ROOT.ML TLA/Stfun.ML TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy |
479 @cd TLA; $(ISATOOL) usedir -b $(OUT)/HOL TLA |
479 @cd TLA; $(ISATOOL) usedir -b $(OUT)/HOL TLA |
480 |
480 |
481 |
481 |
482 ## TLA-Inc |
482 ## TLA-Inc |
500 ## TLA-Memory |
500 ## TLA-Memory |
501 |
501 |
502 TLA-Memory: TLA $(LOG)/TLA-Memory.gz |
502 TLA-Memory: TLA $(LOG)/TLA-Memory.gz |
503 |
503 |
504 $(LOG)/TLA-Memory.gz: $(OUT)/TLA TLA/Memory/MIParameters.thy \ |
504 $(LOG)/TLA-Memory.gz: $(OUT)/TLA TLA/Memory/MIParameters.thy \ |
505 TLA/Memory/MIlive.ML TLA/Memory/MIsafe.ML TLA/Memory/MemClerk.ML \ |
505 TLA/Memory/MIsafe.ML TLA/Memory/MemClerk.ML \ |
506 TLA/Memory/MemClerk.thy TLA/Memory/MemClerkParameters.ML \ |
506 TLA/Memory/MemClerk.thy TLA/Memory/MemClerkParameters.ML \ |
507 TLA/Memory/MemClerkParameters.thy TLA/Memory/Memory.ML \ |
507 TLA/Memory/MemClerkParameters.thy TLA/Memory/Memory.ML \ |
508 TLA/Memory/Memory.thy TLA/Memory/MemoryImplementation.ML \ |
508 TLA/Memory/Memory.thy TLA/Memory/MemoryImplementation.ML \ |
509 TLA/Memory/MemoryImplementation.thy TLA/Memory/MemoryParameters.ML \ |
509 TLA/Memory/MemoryImplementation.thy TLA/Memory/MemoryParameters.ML \ |
510 TLA/Memory/MemoryParameters.thy TLA/Memory/ProcedureInterface.ML \ |
510 TLA/Memory/MemoryParameters.thy TLA/Memory/ProcedureInterface.ML \ |