diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-11-02 18:10:20 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-11-02 18:10:20 +0100 |
commit | ba2b05515d4f57d96a496b08a1dc1e89b23a92a2 (patch) | |
tree | 98ccf99b34074e3fd341ecc925f1e2dd70b8c393 /src/verit/verit.ml | |
parent | 1cdcec9f4be7dd94a1ea7a3dcd98add33a2378d8 (diff) | |
download | smtcoq-ba2b05515d4f57d96a496b08a1dc1e89b23a92a2.tar.gz smtcoq-ba2b05515d4f57d96a496b08a1dc1e89b23a92a2.zip |
Allow premices of the transitivity rule to be reflexivity lemmas
Diffstat (limited to 'src/verit/verit.ml')
0 files changed, 0 insertions, 0 deletions