diff options
| author |  Jason Gross <jagro@google.com> | 2016-09-07 14:56:43 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-09-07 14:56:53 -0700 |
| commit | 054752ccf0b80bc413e70202a823fd034db6ea6b (patch) | |
| tree | afb7424ab413cb087aa35d3bf65f0a65564b6906 /src/Spec | |
| parent | c8a157cb0786acbd163eb3a56e201110782ef527 (diff) | |
Fixes for Coq 8.4
Diffstat (limited to 'src/Spec')
0 files changed, 0 insertions, 0 deletions