diff options
| author | Théo Zimmermann | 2018-10-10 19:32:45 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-10 19:34:06 +0200 |
| commit | fa35dd6e40d2f5089b3d0a18cb6337ade4eae760 (patch) | |
| tree | 9c0cb4d41681f04bc9a2c5527928df67002244a9 /vernac/comProgramFixpoint.ml | |
| parent | 7489829eff2b36b15694a7f06122fc825905bba6 (diff) | |
[doc] [sphinx] Fix title levels.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions