src/HOL/IsaMakefile
changeset 33446 153a27370a42
parent 33445 f0c78a28e18e
child 33447 6895b9cadc7c
     1.1 --- a/src/HOL/IsaMakefile	Thu Nov 05 14:48:40 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Nov 05 15:24:49 2009 +0100
     1.3 @@ -1344,7 +1344,15 @@
     1.4    SMT/Examples/cert/z3_linarith_15					\
     1.5    SMT/Examples/cert/z3_linarith_15.proof				\
     1.6    SMT/Examples/cert/z3_linarith_16					\
     1.7 -  SMT/Examples/cert/z3_linarith_16.proof SMT/Examples/cert/z3_mono_01	\
     1.8 +  SMT/Examples/cert/z3_linarith_16.proof				\
     1.9 +  SMT/Examples/cert/z3_linarith_17					\
    1.10 +  SMT/Examples/cert/z3_linarith_17.proof				\
    1.11 +  SMT/Examples/cert/z3_linarith_18					\
    1.12 +  SMT/Examples/cert/z3_linarith_18.proof				\
    1.13 +  SMT/Examples/cert/z3_linarith_19					\
    1.14 +  SMT/Examples/cert/z3_linarith_19.proof				\
    1.15 +  SMT/Examples/cert/z3_linarith_20					\
    1.16 +  SMT/Examples/cert/z3_linarith_20.proof SMT/Examples/cert/z3_mono_01	\
    1.17    SMT/Examples/cert/z3_mono_01.proof SMT/Examples/cert/z3_mono_02	\
    1.18    SMT/Examples/cert/z3_mono_02.proof SMT/Examples/cert/z3_nat_arith_01	\
    1.19    SMT/Examples/cert/z3_nat_arith_01.proof				\