diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-01 14:03:20 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-05 14:21:47 +0100 |
| commit | 003031beb002efa703a2f262f9501362d56da720 (patch) | |
| tree | f116421e3c81702dfda965282837a42a58c61f00 /vernac/comFixpoint.mli | |
| parent | 88f3b5a441a3aaeb637d0b109544fbe71b7560dd (diff) | |
CHANGES and tests for with Definition @{univs}
Diffstat (limited to 'vernac/comFixpoint.mli')
0 files changed, 0 insertions, 0 deletions