diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-12-11 08:42:07 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-12-11 08:42:07 -0500 |
| commit | b5d101d20a067c8009229a1ed7d295dffc8e2e10 (patch) | |
| tree | 129c423515c38861669edd934d22a3513680b403 /_CoqProject | |
| parent | 5da17aada0348ee9a8f7a238f015de96f2f507d5 (diff) | |
Use Fixpoint, not list_rect, for {app,lam}_forall_vars
This makes it much easier to read goals involving these combinators.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions