diff options
| author | Emilio Jesus Gallego Arias | 2019-06-06 06:01:14 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-24 20:54:43 +0200 |
| commit | 70a11c78e790d7f2f4175d1002e08f79d3ed8486 (patch) | |
| tree | fc184b3b7d59b20e6e5f0c1a82a88c1b15fc45bb /vernac/comProgramFixpoint.mli | |
| parent | fd2d2a8178d78e441fb3191cf112ed517dc791af (diff) | |
[proof] More uniformity in proof start labels.
Diffstat (limited to 'vernac/comProgramFixpoint.mli')
0 files changed, 0 insertions, 0 deletions