diff options
author | 2017-06-22 21:07:32 -0400 | |
---|---|---|
committer | 2017-06-22 21:08:26 -0400 | |
commit | d4a0e0bcc7689457340af5a3007a541b92e12301 (patch) | |
tree | 9c735aca40824eb67abded800943220a057f5c02 /vernac/obligations.ml | |
parent | ee8385ef39292fd03bdbae3a7a73726d9fb65e99 (diff) |
Add test-suite file for funind, extraction with compat 8.6
Diffstat (limited to 'vernac/obligations.ml')
0 files changed, 0 insertions, 0 deletions