diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-15 12:29:27 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-15 12:29:27 -0500 |
| commit | a2cf2ba8acf49238e704bad31d2e2aa7f336c7dd (patch) | |
| tree | 03c07e035164e5926b0ad4deb91608f0dfc59f24 /Makefile | |
| parent | 3f15fbb04befe1c6d726c33e425d303bf2315dc3 (diff) | |
Fix for Coq 8.5 (more unfolding)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions