diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-10-02 16:57:13 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-10-02 16:57:21 -0400 |
| commit | 46f1386270a334b85a93a0e06dda87c61548121d (patch) | |
| tree | 1d983f70db67d2b3aecc7f31f7b493ff24b86eaa /_CoqProject | |
| parent | ca7dc4f5c6cb59d79e79405572fbb957dd3832ce (diff) | |
Add some more lemmas about generated stuff
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions