diff options
| author | Clément Pit-Claudel | 2018-11-30 10:57:39 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-11-30 10:57:39 -0500 |
| commit | 6cafa55b58054da0b7366bea4e10a06147640eee (patch) | |
| tree | b94e3086e6681c05720f7d50e2dda545a50f7aee /vernac/comProgramFixpoint.ml | |
| parent | ea5207f2b13862408fd67cfac8d3a079ed80a087 (diff) | |
| parent | f1fa3386a01f06884fe7f71796a558eae3bb3e00 (diff) | |
Merge PR #9105: Add indexes for coercion / substructure symbol :>.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions