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/Unit.v | |
parent | 4964f1ff2d40ba08573deddca56140c4ac4b19eb (diff) |
prove an admit
Diffstat (limited to 'src/Util/Unit.v')
0 files changed, 0 insertions, 0 deletions