diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 17:10:13 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 17:10:13 +0100 |
commit | 7ce6bf4f7740de4c69877ec9179520bcaa0d014c (patch) | |
tree | b23536f71053862df11ccbcf34683f7a58641e41 /src/Tactics.v | |
parent | f01ad53d1cda7cf519eae137faa87ac47e8b3ab1 (diff) | |
download | smtcoq-7ce6bf4f7740de4c69877ec9179520bcaa0d014c.tar.gz smtcoq-7ce6bf4f7740de4c69877ec9179520bcaa0d014c.zip |
Removed deprecated features
Diffstat (limited to 'src/Tactics.v')
0 files changed, 0 insertions, 0 deletions