diff options
| author | Lysxia | 2019-03-16 20:49:02 -0400 |
|---|---|---|
| committer | Lysxia | 2019-03-17 09:36:07 -0400 |
| commit | 911a3bf975ddb933acc0f7e17c465005a5ee8465 (patch) | |
| tree | 1df2e72d8ca8b2796c02694e723f15f571f97348 /kernel/inductive.ml | |
| parent | 211a241f81f80cfc17afc9f1f203a4a5805b8b4a (diff) | |
[Manual] Gather section-specific commands in Section documentation (fix #9704)
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions