diff options
author | 2015-06-26 21:15:36 +0200 | |
---|---|---|
committer | 2015-09-25 10:40:10 +0200 | |
commit | e0547f9e9134a9fff122df900942a094c53535c3 (patch) | |
tree | 9b5a11a7fb28857dd26f472d6329e14a1529393a /stm/coqworkmgrApi.mli | |
parent | 576d7a815174106f337fca2f19ad7f26a7e87cc4 (diff) |
Add a flag in `VernacFixpoint` and `VernacCoFixpoint` to control assuming guardedness.
Diffstat (limited to 'stm/coqworkmgrApi.mli')
0 files changed, 0 insertions, 0 deletions