src/HOL/IsaMakefile
changeset 6474 9641c5abced2
parent 6472 ea01eda59c07
child 6496 a185927883e5
     1.1 --- a/src/HOL/IsaMakefile	Thu Apr 22 12:42:14 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 22 12:47:07 1999 +0200
     1.3 @@ -185,12 +185,13 @@
     1.4  HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz
     1.5  
     1.6  $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \
     1.7 -  Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy Modelcheck/MuckeSyn.ML \
     1.8 +  Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \
     1.9 +  Modelcheck/EindhovenSyn.ML Modelcheck/EindhovenSyn.thy \
    1.10 +  Modelcheck/MuCalculus.ML Modelcheck/MuCalculus.thy \
    1.11 +  Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy \
    1.12    Modelcheck/MuckeExample2.ML Modelcheck/MuckeExample2.thy \
    1.13 -  Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \
    1.14 -  Modelcheck/mucke_oracle.ML \
    1.15 -  Modelcheck/MuckeSyn.thy Modelcheck/EindhovenSyn.ML Modelcheck/MuCalculus.ML	\
    1.16 -  Modelcheck/MuCalculus.thy Modelcheck/EindhovenSyn.thy Modelcheck/ROOT.ML
    1.17 +  Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \
    1.18 +  Modelcheck/mucke_oracle.ML
    1.19  	@$(ISATOOL) usedir $(OUT)/HOL Modelcheck
    1.20  
    1.21