diff options
| author | Vincent Laporte | 2019-02-14 16:39:12 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-25 10:05:35 +0000 |
| commit | 43b2ddf9db407f6e5481974a626ac5c91d74910f (patch) | |
| tree | db5cf60639147d9ffc83eb523190e537ff119dd0 /vernac/comProgramFixpoint.ml | |
| parent | a27d9d43a8e1c1a1629cc72c87e582c323b503c7 (diff) | |
[Manual] Document primitive integers
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions