diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-02 19:42:59 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-02 19:43:06 -0400 |
| commit | 652ea56a96637d0567d2f673c5ffd71600d04c67 (patch) | |
| tree | e4bd83c8c54e1b09bdcd556c2820d85e9c8c97f1 /src/Util/PartiallyReifiedProp.v | |
| parent | 768714f7d959e3bc1d1288662f18c6548de05752 (diff) | |
Fix diverging Qed in 8.5{,pl1} ([f_equal] is broken)
Diffstat (limited to 'src/Util/PartiallyReifiedProp.v')
0 files changed, 0 insertions, 0 deletions