diff options
| author | Gaëtan Gilbert | 2020-06-23 10:43:32 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-06-23 10:43:32 +0200 |
| commit | 34e62d05df4ecd833f87115aa0e986ef7626359e (patch) | |
| tree | 2bb09958d290286c59161547a3442865f50fa59c /kernel/nativecode.ml | |
| parent | 213999187d506394945a4d2163802b504be0c6ac (diff) | |
| parent | 9dc1f1fd48484b00d67871b6869a4c0c48e26f26 (diff) | |
Merge PR #8796: Elementary properties about IZR for generic use
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions