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/versions/standard/smtcoq_plugin_standard.ml4 | |
| 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/versions/standard/smtcoq_plugin_standard.ml4')
0 files changed, 0 insertions, 0 deletions