diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-09-24 15:20:15 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2015-10-02 15:54:11 +0200 |
commit | 8abdf84ad8cd82b7ea0e0b2adb97255b2f70fbb8 (patch) | |
tree | 889a458d0a1df4c07bbf077a44b6d0579a679b30 /kernel/cooking.ml | |
parent | 6902d2bcb2840619d4c6f41a0d30948daa877b0c (diff) |
Univs: correcly compute the levels of records when they fall in Prop.
Diffstat (limited to 'kernel/cooking.ml')
0 files changed, 0 insertions, 0 deletions