Mercurialisabelle / diff
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | revisions | annotate | diff | raw
src/HOL/IsaMakefile
changeset 33748 dd5513734567
parent 33741 4c414d0835ab
child 33820 082d9bc6992d 
     1.1 --- a/src/HOL/IsaMakefile	Tue Nov 17 18:52:30 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Nov 18 09:34:53 2009 +0100
     1.3 @@ -1342,7 +1342,9 @@
     1.4    SMT/Examples/cert/z3_linarith_19					\
     1.5    SMT/Examples/cert/z3_linarith_19.proof				\
     1.6    SMT/Examples/cert/z3_linarith_20					\
     1.7 -  SMT/Examples/cert/z3_linarith_20.proof SMT/Examples/cert/z3_mono_01	\
     1.8 +  SMT/Examples/cert/z3_linarith_20.proof 				\
     1.9 +  SMT/Examples/cert/z3_linarith_21					\
    1.10 +  SMT/Examples/cert/z3_linarith_21.proof SMT/Examples/cert/z3_mono_01	\
    1.11    SMT/Examples/cert/z3_mono_01.proof SMT/Examples/cert/z3_mono_02	\
    1.12    SMT/Examples/cert/z3_mono_02.proof SMT/Examples/cert/z3_nat_arith_01	\
    1.13    SMT/Examples/cert/z3_nat_arith_01.proof				\
isabelle