diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2015-11-11 00:59:00 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2015-11-11 00:59:00 -0500 |
| commit | b3dcf834d5ab8d620546e028b53d04e05b1b60bd (patch) | |
| tree | 9927a23916e1d52f46097e92376adaa182d93eaa /src/Util/CaseUtil.v | |
| parent | c1fb711ce48a7c437acfc93108a93a4de1a197dd (diff) | |
BaseSystem: finish first pass of prettifying proofs
Diffstat (limited to 'src/Util/CaseUtil.v')
0 files changed, 0 insertions, 0 deletions