diff options
| author | Emilio Jesus Gallego Arias | 2020-03-02 01:00:56 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-19 17:18:07 -0400 |
| commit | 069304b4e3ba75c54e372615bf7bb0ee2a103b5d (patch) | |
| tree | 3b959be77f58ec8c1550310983ff592f9f6fd33c /vernac/comProgramFixpoint.ml | |
| parent | 9f680f776140c8b3b8f79013262d5bd73761d571 (diff) | |
[declare] Bring more consistency to parameters using labels
Most of the parameters were named, we fix the remaining cases.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions