diff options
| author | Enrico Tassi | 2018-10-29 11:17:13 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-10-29 11:17:13 +0100 |
| commit | 8d6e79649a3f7696977954de881671c23457c0f2 (patch) | |
| tree | 6d7d18de50dce4dea8a052143d5e954c6efe6e07 /kernel/nativecode.mli | |
| parent | 665146168720c094ce4fbb3d7d044d9904099f95 (diff) | |
| parent | e37a58ad110c13e3f6a8f4c27458e46a8ab36752 (diff) | |
Merge PR #8812: [ssreflect] Better use of Coqlib
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions