diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2016-10-22 10:37:17 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2016-10-22 11:32:12 +0200 |
commit | c9f8f7fe182decedda2e6403d502fda3aff24a6e (patch) | |
tree | c0fe36c1819501b0aa6972fd75353b31ef5cf505 /plugins/ssrmatching/ssrmatching.mli | |
parent | ccb173a440fa2eb7105a692c979253edbfe475ee (diff) |
Add Unset Use Unif Heuristics in Compat/Coq85
Diffstat (limited to 'plugins/ssrmatching/ssrmatching.mli')
0 files changed, 0 insertions, 0 deletions