diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-10-01 15:17:31 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-10-01 19:43:47 +0200 |
| commit | 75b2e9859d569d2868299c8c07d0262c88cdcc85 (patch) | |
| tree | e5f487408a98c3cd9afb629904149faef06e826d /pretyping/pretyping.mllib | |
| parent | 6b9b86ccd9f122e684cf4830f3e00bc3f70a0d8a (diff) | |
Updating to the new use of 3 universes, after Hurkens is simplified.
Diffstat (limited to 'pretyping/pretyping.mllib')
0 files changed, 0 insertions, 0 deletions