diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-04 00:17:17 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-04 00:17:17 -0400 |
| commit | c255dd3d45d9ab3e487ae5db58c14bac3a51c90c (patch) | |
| tree | 26dfa4b69ce624730696ea4ea5a5e4d25cf1619d /_CoqProject | |
| parent | 3d62b9ac5697c4713ee5ffb976e7e054b1c81c93 (diff) | |
rewrite in Let_In binder by tactic
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions