diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-07-28 22:30:02 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-08-04 11:47:51 -0400 |
| commit | 333f867f010eb00db777916d4ee757f9ff2216b4 (patch) | |
| tree | d0eac47f90b1e04f51c9c135875eaaef28f9497b /src/Util/Equality.v | |
| parent | 4964f1ff2d40ba08573deddca56140c4ac4b19eb (diff) | |
prove an admit
Diffstat (limited to 'src/Util/Equality.v')
0 files changed, 0 insertions, 0 deletions