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 pull request #1 from fniksic/ssr

A few changes to Basics.v
a little better proof for addnA'
Induction and Lists
Merge remote-tracking branch 'upstream/ssr' into ssr