equal
deleted
inserted
replaced
422 ## HOL-Modelcheck |
422 ## HOL-Modelcheck |
423 |
423 |
424 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz |
424 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz |
425 |
425 |
426 $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \ |
426 $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \ |
427 Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \ |
427 Modelcheck/EindhovenExample.thy Modelcheck/EindhovenSyn.ML \ |
428 Modelcheck/EindhovenSyn.ML Modelcheck/EindhovenSyn.thy \ |
428 Modelcheck/EindhovenSyn.thy Modelcheck/MuCalculus.thy \ |
429 Modelcheck/MuCalculus.ML Modelcheck/MuCalculus.thy \ |
429 Modelcheck/MuckeExample1.thy Modelcheck/MuckeExample2.thy \ |
430 Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy \ |
|
431 Modelcheck/MuckeExample2.ML Modelcheck/MuckeExample2.thy \ |
|
432 Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \ |
430 Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \ |
433 Modelcheck/mucke_oracle.ML |
431 Modelcheck/mucke_oracle.ML |
434 @$(ISATOOL) usedir $(OUT)/HOL Modelcheck |
432 @$(ISATOOL) usedir $(OUT)/HOL Modelcheck |
435 |
433 |
436 |
434 |