src/HOL/IsaMakefile
changeset 34965 3b4762c1052c
parent 34958 dcd0fa5cc6d3
child 34974 18b41bba42b5
equal deleted inserted replaced
34963:366a1a44aac2 34965:3b4762c1052c
  1418   Boogie/Examples/cert/VCC_maximum.proof				\
  1418   Boogie/Examples/cert/VCC_maximum.proof				\
  1419   Boogie/Examples/Boogie_Max_Stepwise.thy
  1419   Boogie/Examples/Boogie_Max_Stepwise.thy
  1420 	@cd Boogie; $(ISABELLE_TOOL) usedir $(OUT)/HOL-Boogie Examples
  1420 	@cd Boogie; $(ISABELLE_TOOL) usedir $(OUT)/HOL-Boogie Examples
  1421 
  1421 
  1422 
  1422 
       
  1423 ## HOL-Mutabelle
       
  1424 
       
  1425 HOL-Mutabelle: HOL $(LOG)/HOL-Mutabelle.gz
       
  1426 
       
  1427 $(LOG)/HOL-Mutabelle.gz: $(OUT)/HOL Mutabelle/MutabelleExtra.thy	\
       
  1428   Mutabelle/ROOT.ML Mutabelle/mutabelle.ML			\
       
  1429   Mutabelle/mutabelle_extra.ML
       
  1430 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Mutabelle
       
  1431 
       
  1432 
  1423 ## clean
  1433 ## clean
  1424 
  1434 
  1425 clean:
  1435 clean:
  1426 	@rm -f $(LOG)/HOL-Algebra.gz $(LOG)/HOL-Auth.gz			\
  1436 	@rm -f $(LOG)/HOL-Algebra.gz $(LOG)/HOL-Auth.gz			\
  1427 		$(LOG)/HOL-Bali.gz $(LOG)/HOL-Base.gz			\
  1437 		$(LOG)/HOL-Bali.gz $(LOG)/HOL-Base.gz			\