diff options
| author | Pierre-Marie Pédrot | 2017-12-13 11:52:19 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-12-30 19:19:03 +0100 |
| commit | 6e49d0bee79cd68495955deb115b495fb01f01fd (patch) | |
| tree | fd8099d2993285e30b63dc85da9660f441ac36f8 /kernel/indtypes.ml | |
| parent | c73fa639eb0a8eaf4e5121aa600f88f2d4349a0c (diff) | |
Hardening universe abstraction in Cooking.
Diffstat (limited to 'kernel/indtypes.ml')
0 files changed, 0 insertions, 0 deletions