diff options
| author | Brian Campbell | 2018-08-02 15:58:45 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-02 18:16:55 +0100 |
| commit | 8a06df3ad1b90a355d3e5adb694002f00e67823e (patch) | |
| tree | c6d5beadc94d7695c02cc4f7d4b0af1f8deeca51 /doc/tutorial.tex | |
| parent | 5980711d118ad6d0c28644be605447c3dc82be64 (diff) | |
Fill in more Coq builtins for aarch64
Diffstat (limited to 'doc/tutorial.tex')
0 files changed, 0 insertions, 0 deletions