Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/IsaMakefile
changeset 36887 a96f9793d9c5
parent 36885 48cf03469dc6
child 36890 8e55aa1306c5 
     1.1 --- a/src/HOL/IsaMakefile	Wed May 12 23:53:58 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed May 12 23:53:59 2010 +0200
     1.3 @@ -1247,9 +1247,10 @@
     1.4    SMT/Tools/smt_translate.ML SMT/Tools/smtlib_interface.ML              \
     1.5    SMT/Tools/z3_interface.ML SMT/Tools/smt_additional_facts.ML		\
     1.6    SMT/Tools/smt_solver.ML SMT/Tools/cvc3_solver.ML                      \
     1.7 -  SMT/Tools/yices_solver.ML SMT/Tools/z3_proof_terms.ML                 \
     1.8 -  SMT/Tools/z3_proof_rules.ML SMT/Tools/z3_proof.ML                     \
     1.9 -  SMT/Tools/z3_model.ML SMT/Tools/z3_solver.ML $(SRC)/Tools/cache_io.ML
    1.10 +  SMT/Tools/yices_solver.ML SMT/Tools/z3_proof_parser.ML		\
    1.11 +  SMT/Tools/z3_proof_tools.ML SMT/Tools/z3_proof_literals.ML		\
    1.12 +  SMT/Tools/z3_proof_reconstruction.ML SMT/Tools/z3_model.ML 		\
    1.13 +  SMT/Tools/z3_solver.ML $(SRC)/Tools/cache_io.ML
    1.14  	@cd SMT; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-Word HOL-SMT
    1.15  
    1.16
wneuper/isa