haul in Software Foundations
software foundations chapter 1
finished induction up to bin_to_nat_to_bin and nat_to_bin_to_nat
some informal stuff for induction
do lists exercises
add some essential Qeds to Induction.v
done Poly exercises
completed the MoreCoq exercises