diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-06-03 22:08:45 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-06-03 22:08:45 +0200 |
commit | b163cf2480615bce4bf280df6c5490f558eb3405 (patch) | |
tree | a48c8542fdc14f43a15c9172803ac7938cc6f8ee /ide/coq-ssreflect.lang | |
parent | bb4810e7c7fc59c950cff7554cf77b076d25a0bd (diff) |
Admitted does not drop poly-univ constraints (Fix #4244)
Diffstat (limited to 'ide/coq-ssreflect.lang')
0 files changed, 0 insertions, 0 deletions