Release 0.16
First release from the separate coq-sail repository. This makes the packaging for opam somewhat easier. Corresponds to the 0.16 Sail release.
First release from the separate coq-sail repository. This makes the packaging for opam somewhat easier. Corresponds to the 0.16 Sail release.