MemLog.v: checkpoint some possibly useful lemma statements
MemLog.v: checkpoint some possibly useful lemma statements

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