diff options
author | ckeller <ckeller@users.noreply.github.com> | 2021-04-21 10:59:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-21 10:59:23 +0200 |
commit | 9dbc62938011b07ae28795cdc7e2f8ddea01ef2a (patch) | |
tree | 1e50ed6dcba7213a9b1340e5e8e45042e6f67715 /src/versions/standard/Structures_standard.v | |
parent | 4a2ef2747950e8a28bfce7ca641bedd7ef71bea1 (diff) | |
download | smtcoq-9dbc62938011b07ae28795cdc7e2f8ddea01ef2a.tar.gz smtcoq-9dbc62938011b07ae28795cdc7e2f8ddea01ef2a.zip |
Warning (instead of error) for unsupported lemmas (#90)
Diffstat (limited to 'src/versions/standard/Structures_standard.v')
0 files changed, 0 insertions, 0 deletions