Basics: Rewritten the proof of test_mult1 using ssreflect.
Basics: Rewritten the text in section Proof by Simplification to talk about move=> n, instead of intros n.
Basics: Rewritten the text in section Proof by Rewriting to talk about move, instead of intros.
Merge remote-tracking branch 'upstream/ssr' into ssr
Added *.glob and *.vo patterns to .gitignore.
poly
not yet morecoq
Merge remote-tracking branch 'upstream/ssr' into ssr
Merge branch 'ssr' into ssr-work