diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-21 16:00:16 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-21 16:00:16 +0200 |
| commit | daee180471fd88421291b1617148de0a6235360d (patch) | |
| tree | 2bfd6f5e72c098b4daf1c7a066a8e1f68a068670 /src/QInst.v | |
| parent | 5d38159d419e1c690e455277bf913dd77cb675df (diff) | |
| parent | 662bba2a3df268affd2f5821e035387d6e208dc4 (diff) | |
| download | smtcoq-daee180471fd88421291b1617148de0a6235360d.tar.gz smtcoq-daee180471fd88421291b1617148de0a6235360d.zip | |
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Diffstat (limited to 'src/QInst.v')
0 files changed, 0 insertions, 0 deletions