# HG changeset patch # User wenzelm # Date 924778027 -7200 # Node ID 9641c5abced25db4ab4ea96c9375caa7731b24bc # Parent 7411f5d6bad7f48a96cb5271cdacba6f946b195b tuned; diff -r 7411f5d6bad7 -r 9641c5abced2 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Thu Apr 22 12:42:14 1999 +0200 +++ b/src/HOL/IsaMakefile Thu Apr 22 12:47:07 1999 +0200 @@ -185,12 +185,13 @@ HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \ - Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy Modelcheck/MuckeSyn.ML \ + Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \ + Modelcheck/EindhovenSyn.ML Modelcheck/EindhovenSyn.thy \ + Modelcheck/MuCalculus.ML Modelcheck/MuCalculus.thy \ + Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy \ Modelcheck/MuckeExample2.ML Modelcheck/MuckeExample2.thy \ - Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \ - Modelcheck/mucke_oracle.ML \ - Modelcheck/MuckeSyn.thy Modelcheck/EindhovenSyn.ML Modelcheck/MuCalculus.ML \ - Modelcheck/MuCalculus.thy Modelcheck/EindhovenSyn.thy Modelcheck/ROOT.ML + Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \ + Modelcheck/mucke_oracle.ML @$(ISATOOL) usedir $(OUT)/HOL Modelcheck