diff options
| author | Emilio Jesus Gallego Arias | 2020-11-18 23:25:17 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-11-26 21:21:55 +0100 |
| commit | 50af46a596af607493ce46da782389e8a82e8354 (patch) | |
| tree | 39f3b35a0a14148467819ed437ca36da8a8c2d2b /vernac/comProgramFixpoint.ml | |
| parent | 2ac3d11f6f1332250e918ef628eca3b788b3550a (diff) | |
[attributes] [doc] Documentation review by Théo.
Co-authored-by: <Théo Zimmermann <theo.zimmermann@inria.fr>
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions