diff options
| author | Brian Campbell | 2018-06-22 15:23:42 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-22 15:28:20 +0100 |
| commit | 9053c13aa70a9d27cd308660b71d62623db34f50 (patch) | |
| tree | ce1b8d58106582d5b5b07ad94a5d790c32e2e0a0 /language/l2_typ.ott | |
| parent | 877d9fbfc44ebbdb0dee62c71d15d0055e811dee (diff) | |
Add coq builtins for MIPS
Diffstat (limited to 'language/l2_typ.ott')
0 files changed, 0 insertions, 0 deletions