diff options
| author | Emilio Jesus Gallego Arias | 2020-03-09 05:24:03 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:36 -0400 |
| commit | 5da15336a01d1f74fac653f69cd0a509ba05a3ab (patch) | |
| tree | 478b37746053fafec63ed0d0ca82db54bdf8073a /vernac/comProgramFixpoint.ml | |
| parent | dc71c61e76b4ffff09b8d41e69ae403348e064fe (diff) | |
[comFixpoint] Minor cleanups in type declarations.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions