diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-03-08 21:02:38 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2019-03-08 21:03:33 -0500 |
| commit | 93c066f9c9c2c8fefb2204599b2d564738e9aecc (patch) | |
| tree | cb05fe728231afdb290e4e63585555a47015cdaf /src/Spec | |
| parent | b13cb39473dd93136ee36691f226f1924baff9a4 (diff) | |
Standardize list wf things
Rather than using Forall2 in some places and a combination of length,
combine, and In in others, we now primarily use Forall2.
There is probably some dead tactic code as a result of this that I just
haven't bothered to clean up.
Diffstat (limited to 'src/Spec')
0 files changed, 0 insertions, 0 deletions