diff options
| author | Pierre-Marie Pédrot | 2017-08-02 01:57:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-02 02:00:42 +0200 |
| commit | 087012f8d3e5e31f489e35dce8397b5202c928b6 (patch) | |
| tree | 617863f4fddbdb75cbbd6a8c03ee3ca2d165e684 /_CoqProject | |
| parent | d3c3859ab6dba6495b13e055917ddf3d95851912 (diff) | |
Adding the open_constr scope
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions