diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-26 16:37:05 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-04-26 16:37:05 +0200 |
| commit | d90e8b221455dafa32db03f9fdb1601f3127474f (patch) | |
| tree | 6f3e748fb7064c5886e6da9b43b6667d6d70e20e /src/Misc.v | |
| parent | 8af19b6dfcaa5c6a60c25e4b1f51eedbd7a428ea (diff) | |
| parent | 5084ed22cf500f531375df75fb4f00505d593f55 (diff) | |
| download | smtcoq-d90e8b221455dafa32db03f9fdb1601f3127474f.tar.gz smtcoq-d90e8b221455dafa32db03f9fdb1601f3127474f.zip | |
Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11
Diffstat (limited to 'src/Misc.v')
0 files changed, 0 insertions, 0 deletions