before typeclass 101
first commit to software foundations
Basic - before proof-by-simplification
basic coq - few more exercises to go
Basics - complete
annoying

It's really annoying to keep the full text
and make my exercise answers harder to find.
But other modules might import it,
So I have no choice.
Induction - just done double_plus
grade-school - first version
phone-number - 2nd version
robot-name - first version
first working proof for mult_comm
before 'binary_commute'
fetch new exercise: leap
leap - first version
exercise 3 - done
bug fix: "Onemore" causes confusion and wrong impl
before informal proofs
Merge branch 'software-foundations'

Conflicts:
	.gitignore
Merge branch 'basic-cat'
1.1.1 - done