sail/lib/coq/_CoqProject, branch sail2

sail/lib/coq/_CoqProject, branch sail2 Formal specification language for ISAs Prepare Coq library for packaging 2020-06-10T20:38:06+00:00 Brian Campbell 2020-06-10T20:33:09+00:00 d2b4a7a1d654cf8f315e2471b1470506255f3d68 - rename files to get rid of prefix - use -Q to get package name right - add Base.v to make package imports simpler - add opam file for coq package

- rename files to get rid of prefix
- use -Q to get package name right
- add Base.v to make package imports simpler
- add opam file for coq package

Coq: bbv have reorganised their repository 2018-07-07T15:41:25+00:00 Brian Campbell 2018-07-07T15:37:00+00:00 5ee9dfaf970de672aa379ea466bf48292bcd41cf