diff options
| author | Emilio Jesus Gallego Arias | 2020-03-15 16:13:24 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:37 -0400 |
| commit | fa6836e85808c6d97620104b2f33dff49eb2aa74 (patch) | |
| tree | 4c5afc67bbb1dd66640bcc6526509303ca43748f /vernac/comProgramFixpoint.ml | |
| parent | 7b2e166eae2d9f83bf0e14f68075b0be0a8bd668 (diff) | |
[doc] [obligations] Some notes about `Program` implementation
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions