diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-22 12:58:36 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-22 12:58:36 -0700 |
| commit | 5d7b2bc9a4e902d3c3aa7a3625ffda6eb127011f (patch) | |
| tree | 3bad9377c664e376996a0549bd8a1d9b628b1f38 /src/Util/FixCoqMistakes.v | |
| parent | 29bb3dd531be45ba7960b34ef759b44436e48905 (diff) | |
Revert "Add more ZUtil automation"
This reverts commit 29bb3dd531be45ba7960b34ef759b44436e48905.
[intuition] is stupid and terrible. Fix upcoming.
Diffstat (limited to 'src/Util/FixCoqMistakes.v')
0 files changed, 0 insertions, 0 deletions