diff options
| author |  Jason Gross <jagro@google.com> | 2016-09-05 15:55:17 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-09-05 15:55:17 -0700 |
| commit | a14d656c84f995d47d7fdc97e0de52ece797ed89 (patch) | |
| tree | aa8fa44e0c023f55d75cec5b749ade264bc512d4 /_CoqProject | |
| parent | 103d89e8a06753668fa44c298c6693ff1a1fc6e1 (diff) | |
Better implicits for let_bind_const
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions