End of verif of Main.v
End of verif of Main.v Fix #540 (closed) I also moved proofs in Raw_context.v
that were not in the same order as in the OCaml file.
Edited by Guillaume Claret
End of verif of Main.v Fix #540 (closed) I also moved proofs in Raw_context.v
that were not in the same order as in the OCaml file.