diff options
| author |  Jason Gross <jagro@google.com> | 2018-08-29 17:17:26 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-08-29 17:17:26 -0400 |
| commit | fd02de94fdbd176dc6b7f731e357c0d0d96014a6 (patch) | |
| tree | 98e42db0f7e3a7ed2cf52afd48ed38236d902235 /_CoqProject | |
| parent | 673534439ac5002e995ebcf49ea640692c83f2d8 (diff) | |
Add do_with_exactly_one_hyp
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions