diff options
| author | Maxime Dénès | 2017-12-01 09:25:56 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-01 09:25:56 +0100 |
| commit | 895900eb4c3f030e9490d211a4969de933ec2f9b (patch) | |
| tree | c4d454c201276b0953fe3383c46f76423c8ab515 /kernel/nativecode.ml | |
| parent | e29993c250164b9486d4d7ffdebb9bfee4a2828f (diff) | |
| parent | a41f8601655f69e71b621dba192342ed0e1f8ec2 (diff) | |
Merge PR #6233: [proof] [api] Rename proof types in preparation for functionalization.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions