diff options
| author | Hugo Herbelin | 2020-10-31 14:56:19 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-04 16:56:49 +0100 |
| commit | e7b39c73f48279980f8ea2238632bfbf6e3d4178 (patch) | |
| tree | 9f7f602b9b0ab85fdffcbbb0c8643afa7a52380f /vernac/comProgramFixpoint.ml | |
| parent | 4814c482eb83f4c21b6ecf2b1b9235b513221181 (diff) | |
Documentation of the main entry points of uState.mli.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions