src/HOL/IsaMakefile
changeset 17287 bd49e10bbd24
parent 17229 aca2ce40be35
child 17297 17256fe71aca
     1.1 --- a/src/HOL/IsaMakefile	Tue Sep 06 17:01:32 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Sep 06 18:49:25 2005 +0200
     1.3 @@ -424,11 +424,9 @@
     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/EindhovenExample.ML Modelcheck/EindhovenExample.thy \
     1.8 -  Modelcheck/EindhovenSyn.ML Modelcheck/EindhovenSyn.thy \
     1.9 -  Modelcheck/MuCalculus.ML Modelcheck/MuCalculus.thy \
    1.10 -  Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy \
    1.11 -  Modelcheck/MuckeExample2.ML Modelcheck/MuckeExample2.thy \
    1.12 +  Modelcheck/EindhovenExample.thy Modelcheck/EindhovenSyn.ML \
    1.13 +  Modelcheck/EindhovenSyn.thy Modelcheck/MuCalculus.thy \
    1.14 +  Modelcheck/MuckeExample1.thy Modelcheck/MuckeExample2.thy \
    1.15    Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \
    1.16    Modelcheck/mucke_oracle.ML
    1.17  	@$(ISATOOL) usedir $(OUT)/HOL Modelcheck