diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-07 12:00:04 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-07 12:00:04 -0400 |
| commit | 3c75bd3f0e1106be0d238897c4df34ceb5dd811b (patch) | |
| tree | 56878ec6d92c83173b8b41b375efa0dc740d19b4 /_CoqProject | |
| parent | e7a7d97ff871d672b60a8f7e1ed73b9e263e121c (diff) | |
Make dlet-moving on sigma goals use change
Replace with abstract blocks reduction of the first projection.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions