New lemma : cmra_update_valid0. This let us prove a FP update using the...

New lemma : cmra_update_valid0. This let us prove a FP update using the additionnal hypothesis that the source is valid at step 0.
1 job for master
Status Job ID Name Coverage
  Test
passed #500
coq
buildjob

00:03:50