deleted some old examples in Modelcheck;
authormueller
Thu Apr 22 12:40:11 1999 +0200 (1999-04-22)
changeset 6472ea01eda59c07
parent 6471 08d12ef5fc19
child 6473 7411f5d6bad7
deleted some old examples in Modelcheck;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Apr 22 11:09:05 1999 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Apr 22 12:40:11 1999 +0200
     1.3 @@ -185,9 +185,12 @@
     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/Example.ML Modelcheck/Example.thy Modelcheck/MCSyn.ML \
     1.8 -  Modelcheck/MCSyn.thy Modelcheck/MuCalculus.ML	\
     1.9 -  Modelcheck/MuCalculus.thy Modelcheck/ROOT.ML
    1.10 +  Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy Modelcheck/MuckeSyn.ML \
    1.11 +  Modelcheck/MuckeExample2.ML Modelcheck/MuckeExample2.thy \
    1.12 +  Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \
    1.13 +  Modelcheck/mucke_oracle.ML \
    1.14 +  Modelcheck/MuckeSyn.thy Modelcheck/EindhovenSyn.ML Modelcheck/MuCalculus.ML	\
    1.15 +  Modelcheck/MuCalculus.thy Modelcheck/EindhovenSyn.thy Modelcheck/ROOT.ML
    1.16  	@$(ISATOOL) usedir $(OUT)/HOL Modelcheck
    1.17  
    1.18