diff options
| author | Théo Zimmermann | 2018-11-28 16:03:11 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-11-30 00:31:13 +0100 |
| commit | f1fa3386a01f06884fe7f71796a558eae3bb3e00 (patch) | |
| tree | b6afbc5f8ea20cb95df9437a536b524c6324947e /vernac/comProgramFixpoint.ml | |
| parent | 4b12cd00e1d32961a4dc04e2c2dcbfe6ed0002fa (diff) | |
Add indexes for coercion / substructure symbol :>.
And a few more Sphinx fixes in passing.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions