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'
completed Basics.v
Merge branch 'ssr' of https://github.com/beta-ziliani/sf into ssr-work
working on Induction.v exercises
finished (most of) Induction exercises