diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:39:58 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-07-20 15:39:58 +0200 |
| commit | 862c8b445d4c8f1f83f435cb4d282b81c16ebb82 (patch) | |
| tree | cd3e0d75a1536cd8d90a1210b4d9878157f83d7b /unit-tests/Tests_lfsc_tactics.v | |
| parent | bea0d49fcb3d865d862c1a18a5b8d3299de56459 (diff) | |
| parent | c8a696682fcbdc720d67eb8d93f2c0c5b5c03548 (diff) | |
| download | smtcoq-862c8b445d4c8f1f83f435cb4d282b81c16ebb82.tar.gz smtcoq-862c8b445d4c8f1f83f435cb4d282b81c16ebb82.zip | |
Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.11
Diffstat (limited to 'unit-tests/Tests_lfsc_tactics.v')
0 files changed, 0 insertions, 0 deletions