Plus_omega.vo: Plus_omega.v ../../../tactics/contrib/omega/Omega.vo ../../ARITH/Lt.vo
Mult_omega.vo: Mult_omega.v ../../../tactics/contrib/omega/Omega.vo Le_omega.vo Lt_omega.vo Plus_omega.vo Minus_omega.vo
Minus_omega.vo: Minus_omega.v ../../../tactics/contrib/omega/Omega.vo ../../ARITH/Le.vo ../../ARITH/Lt.vo
Lt_omega.vo: Lt_omega.v ../../../tactics/contrib/omega/Omega.vo Le_omega.vo
Le_omega.vo: Le_omega.v ../../../tactics/contrib/omega/Omega.vo
Gt_omega.vo: Gt_omega.v ../../../tactics/contrib/omega/Omega.vo Le_omega.vo Lt_omega.vo ../../ARITH/Plus.vo
Examples.vo: Examples.v ../../ARITH/Arith.vo ../../ZARITH/ZArith.vo ../../../tactics/contrib/omega/Omega.vo
Plus_omega.html: Plus_omega.v ../../../tactics/contrib/omega/Omega.html ../../ARITH/Lt.html
Mult_omega.html: Mult_omega.v ../../../tactics/contrib/omega/Omega.html Le_omega.html Lt_omega.html Plus_omega.html Minus_omega.html
Minus_omega.html: Minus_omega.v ../../../tactics/contrib/omega/Omega.html ../../ARITH/Le.html ../../ARITH/Lt.html
Lt_omega.html: Lt_omega.v ../../../tactics/contrib/omega/Omega.html Le_omega.html
Le_omega.html: Le_omega.v ../../../tactics/contrib/omega/Omega.html
Gt_omega.html: Gt_omega.v ../../../tactics/contrib/omega/Omega.html Le_omega.html Lt_omega.html ../../ARITH/Plus.html
Examples.html: Examples.v ../../ARITH/Arith.html ../../ZARITH/ZArith.html ../../../tactics/contrib/omega/Omega.html
