diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-04-04 16:04:10 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-04-04 16:04:10 +0200 |
| commit | 5b688868704cc1097aded2caea27d89047318eb1 (patch) | |
| tree | c66dc6808a471951f8af95d3b1b1fb4739494c88 /pretyping | |
| parent | b8e76c36b0fd4016c4d5b4098a11dc733872ff5f (diff) | |
Support other forms of "Proof" in coqwc. (Fix for bug #2735)
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions