NewInductifs.vo: NewInductifs.v
Disc_Inj.vo: Disc_Inj.v
DemoRing.vo: DemoRing.v ../../tactics/contrib/polynom/ZArithRing.vo ../../tactics/contrib/omega/Omega.vo
DemoQuote.vo: DemoQuote.v ../../tactics/contrib/polynom/Quote.vo
DemoLinear.vo: DemoLinear.v ../../tactics/contrib/linear/Linear.vo
DemoAutoRewrite.vo: DemoAutoRewrite.v ../ARITH/Arith.vo ../../tactics/contrib/omega/Omega.vo
NewInductifs.html: NewInductifs.v
Disc_Inj.html: Disc_Inj.v
DemoRing.html: DemoRing.v ../../tactics/contrib/polynom/ZArithRing.html ../../tactics/contrib/omega/Omega.html
DemoQuote.html: DemoQuote.v ../../tactics/contrib/polynom/Quote.html
DemoLinear.html: DemoLinear.v ../../tactics/contrib/linear/Linear.html
DemoAutoRewrite.html: DemoAutoRewrite.v ../ARITH/Arith.html ../../tactics/contrib/omega/Omega.html
