diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-28 14:31:53 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-28 14:31:53 +0100 |
| commit | f227beb117105cf4372187112614ce4aec1c5d9b (patch) | |
| tree | cb044909ba44caab884cb4a18c7c2c9e1f89fd07 /src/versions/standard/mutils_full.ml | |
| parent | 39f2246e35c12b6c09e9850b0bb53d2ca5181d23 (diff) | |
| download | smtcoq-f227beb117105cf4372187112614ce4aec1c5d9b.tar.gz smtcoq-f227beb117105cf4372187112614ce4aec1c5d9b.zip | |
Best practice on hints
Diffstat (limited to 'src/versions/standard/mutils_full.ml')
0 files changed, 0 insertions, 0 deletions