diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-09-23 22:29:16 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-09-23 22:30:40 -0400 |
| commit | a4d5dfeb5e6b5eb9289ecb6643c4ba747dde97ca (patch) | |
| tree | 52f4e3cb2e2b25301df49d69307094ed6637c4a0 /src/Spec | |
| parent | ce52efb544820b5ce88091cc68c94a3128c7bdd7 (diff) | |
Finished remaining admits in [freeze] proofs
Diffstat (limited to 'src/Spec')
0 files changed, 0 insertions, 0 deletions