diff options
| author | Théo Zimmermann | 2019-02-28 10:26:48 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-28 10:26:48 +0100 |
| commit | 53bafd5df5b025d8b168cb73a8bb44115ca504fa (patch) | |
| tree | daf037a382a503f57f56e4841e89e6976f125334 /vernac/comProgramFixpoint.ml | |
| parent | 5c4b38ad8763bde984a01dd280af67c1980e0ea6 (diff) | |
| parent | e4c70510979209760956dc63f0aa15f969c8cf18 (diff) | |
Merge PR #9578: Document primitive integers
Reviewed-by: Zimmi48
Reviewed-by: maximedenes
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions