ChecksumLog.v: Fixed crep definition, more of the recover_ok proof put_ok spec is wrong...
ChecksumLog.v: Fixed crep definition, more of the recover_ok proof
put_ok spec is wrong...

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl