diff options
| author | Clément Pit-Claudel | 2020-03-27 14:57:12 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-03-27 14:57:12 -0400 |
| commit | 974915a91a03199a8151eddf8ffce9a270da2d77 (patch) | |
| tree | 4276d9c2d60fad4f98b3a8b0a994ae1c8903b7b0 /pretyping/reductionops.mli | |
| parent | bc500cd96c7142cda5ad6f992c7c656d6499b0c6 (diff) | |
| parent | 223ccc1dcf9a0fd0ba3b82f910b507926affe1a2 (diff) | |
Merge PR #11871: Split documentation of coqdoc on separate page.
Diffstat (limited to 'pretyping/reductionops.mli')
0 files changed, 0 insertions, 0 deletions