equal
deleted
inserted
replaced
467 ## HOL-Modelcheck |
467 ## HOL-Modelcheck |
468 |
468 |
469 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz |
469 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz |
470 |
470 |
471 $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \ |
471 $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \ |
472 Modelcheck/EindhovenExample.thy Modelcheck/EindhovenSyn.ML \ |
472 Modelcheck/EindhovenExample.thy Modelcheck/EindhovenSyn.thy \ |
473 Modelcheck/EindhovenSyn.thy Modelcheck/MuCalculus.thy \ |
473 Modelcheck/MuCalculus.thy Modelcheck/MuckeExample1.thy \ |
474 Modelcheck/MuckeExample1.thy Modelcheck/MuckeExample2.thy \ |
474 Modelcheck/MuckeExample2.thy Modelcheck/MuckeSyn.thy \ |
475 Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \ |
475 Modelcheck/ROOT.ML Modelcheck/mucke_oracle.ML |
476 Modelcheck/mucke_oracle.ML |
|
477 @$(ISATOOL) usedir $(OUT)/HOL Modelcheck |
476 @$(ISATOOL) usedir $(OUT)/HOL Modelcheck |
478 |
477 |
479 |
478 |
480 ## HOL-Lambda |
479 ## HOL-Lambda |
481 |
480 |