diff options
author | Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-21 13:32:57 +0100 |
---|---|---|
committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-01-11 10:00:45 +0100 |
commit | f8eb2ed4ddbe2199187696f51c42734014f4d9d0 (patch) | |
tree | 01fcd6c92e5f1227b756bb624a8377b8d045ac1f /toplevel/vernacentries.ml | |
parent | 8a4a8758075e09da298762da1a035a5afac4d88b (diff) |
COMMENTS: of "Constr.case_info" type were updated.
Diffstat (limited to 'toplevel/vernacentries.ml')
0 files changed, 0 insertions, 0 deletions