equal
deleted
inserted
replaced
510 Modelcheck/MuCalculus.thy Modelcheck/MuckeExample1.thy \ |
510 Modelcheck/MuCalculus.thy Modelcheck/MuckeExample1.thy \ |
511 Modelcheck/MuckeExample2.thy Modelcheck/MuckeSyn.thy \ |
511 Modelcheck/MuckeExample2.thy Modelcheck/MuckeSyn.thy \ |
512 Modelcheck/ROOT.ML Modelcheck/mucke_oracle.ML |
512 Modelcheck/ROOT.ML Modelcheck/mucke_oracle.ML |
513 @$(ISATOOL) usedir $(OUT)/HOL Modelcheck |
513 @$(ISATOOL) usedir $(OUT)/HOL Modelcheck |
514 |
514 |
|
515 ## HOL-SizeChange |
|
516 |
|
517 HOL-SizeChange: HOL $(LOG)/HOL-SizeChange.gz |
|
518 |
|
519 $(LOG)/HOL-SizeChange.gz: $(OUT)/HOL \ |
|
520 SizeChange/Kleene_Algebras.thy SizeChange/Graphs.thy \ |
|
521 SizeChange/Misc_Tools.thy SizeChange/Criterion \ |
|
522 SizeChange/Correctness SizeChange/Interpretation \ |
|
523 SizeChange/Implementation SizeChange/Size_Change_Termination \ |
|
524 SizeChange/Examples SizeChange/sct.ML \ |
|
525 SizeChange/ROOT.ML |
|
526 @$(ISATOOL) usedir $(OUT)/HOL SizeChange |
515 |
527 |
516 ## HOL-Lambda |
528 ## HOL-Lambda |
517 |
529 |
518 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |
530 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |
519 |
531 |