diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-04-08 19:37:59 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2019-04-09 21:59:06 -0400 |
| commit | f77357842ea3bfeb1f6cd7520e3dc9f31440c845 (patch) | |
| tree | fdaf8b1a9818d1e98ad47b9fd4d5b1818f69e28d /src/Language.v | |
| parent | 067d1f14b03d83dcb1c0a60808919ceff6205836 (diff) | |
Fix for Coq 8.8
Diffstat (limited to 'src/Language.v')
0 files changed, 0 insertions, 0 deletions