diff options
| author | Gaëtan Gilbert | 2018-02-12 12:56:04 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-03-14 15:46:16 +0100 |
| commit | 71b9ad8526155020c8451dd326a52e391a9a8585 (patch) | |
| tree | 48610b94a74a741e7c6f5ce46010404ebf0ce78f /kernel/nativecode.ml | |
| parent | 5cb337a0862e06a5b103b00c43cf9777e3468923 (diff) | |
Enable proof irrelevance for SProp.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions