diff options
author | 2017-09-26 23:57:40 +0200 | |
---|---|---|
committer | 2017-09-26 23:57:40 +0200 | |
commit | b9740771e8113cb9e607793887be7a12587d0326 (patch) | |
tree | f69105ad9813738abd10ae824756947940a7dc6d /engine/namegen.ml | |
parent | 4b6383889d4d38de4c9a28bee960b30114a51b16 (diff) | |
parent | 3c964a60d698134c21adc77cbb69ce1528350682 (diff) |
Merge PR #688: Binding universe constraints in Definition/Inductive/etc...
Diffstat (limited to 'engine/namegen.ml')
0 files changed, 0 insertions, 0 deletions