diff options
| author | Pierre Letouzey | 2017-05-03 12:29:10 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-05-22 15:08:31 +0200 |
| commit | 348882636804297e1190e3e1549fa089e4fa8c23 (patch) | |
| tree | b387a4ed0b4238202644fe88dec611f16421adc8 /kernel/type_errors.ml | |
| parent | 11851daee3a14f784cc2a30536a8f69be62c4f62 (diff) | |
ReflOmegaCore: revised proofs (mostly bullets instead of ;[|||])
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions