src/HOL/IsaMakefile
changeset 33249 2b65e9ed2e6e
parent 33210 94ae82a4452f
child 33262 b8d3b7196fe7
     1.1 --- a/src/HOL/IsaMakefile	Tue Oct 27 18:01:50 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Oct 27 18:09:11 2009 +0100
     1.3 @@ -1187,12 +1187,11 @@
     1.4  
     1.5  $(OUT)/HOL-SMT: $(OUT)/HOL-Word SMT/SMT_Base.thy SMT/Z3.thy		\
     1.6    SMT/SMT.thy SMT/Tools/smt_normalize.ML SMT/Tools/smt_monomorph.ML	\
     1.7 -  SMT/Tools/smt_translate.ML SMT/Tools/smt_builtin.ML			\
     1.8 -  SMT/Tools/smtlib_interface.ML SMT/Tools/smt_solver.ML			\
     1.9 -  SMT/Tools/cvc3_solver.ML SMT/Tools/yices_solver.ML			\
    1.10 -  SMT/Tools/z3_proof_terms.ML SMT/Tools/z3_proof_rules.ML		\
    1.11 -  SMT/Tools/z3_proof.ML SMT/Tools/z3_model.ML				\
    1.12 -  SMT/Tools/z3_interface.ML SMT/Tools/z3_solver.ML
    1.13 +  SMT/Tools/smt_translate.ML SMT/Tools/smtlib_interface.ML              \
    1.14 +  SMT/Tools/smt_solver.ML SMT/Tools/cvc3_solver.ML                      \
    1.15 +  SMT/Tools/yices_solver.ML SMT/Tools/z3_proof_terms.ML                 \
    1.16 +  SMT/Tools/z3_proof_rules.ML SMT/Tools/z3_proof.ML                     \
    1.17 +  SMT/Tools/z3_model.ML SMT/Tools/z3_interface.ML SMT/Tools/z3_solver.ML
    1.18  	@cd SMT; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-Word HOL-SMT
    1.19  
    1.20