diff options
| author | Brian Campbell | 2018-05-29 16:34:55 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | d911024d83b1f70bcc99b949e6c8eeac03851911 (patch) | |
| tree | 5d7734acddc8b42413b28fa079c95f7afb4dc4ae /src | |
| parent | a6f319a2f176fbde6020fc508bb0f319a0b225e5 (diff) | |
Fill in most Coq built-ins
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions