New branch
Thinking a bit of properly tracking sized

... the conclusion is that it's too complicated to be worth the trouble
Small polishing
Cleaned up the ProperSizes file
Documenting SSReflect dependency
One last thought for now
typo
Merge branch 'master' of github.com:lemonidas/QuickChick into experiments
merged with Maxime's fix
Cleanup and small demo
case study
Added proofs for combinators, only missing foldGen
proofs for all the combinators
Problems with Arbitrary
compiling state
trying to prove
added dir-local
[minor] Things from our discussion
[minor] small refactoring that breaks things :)
Hooray for Ltac