diff options
| author | Lysxia | 2019-03-17 19:15:22 -0400 |
|---|---|---|
| committer | Lysxia | 2019-03-17 19:15:22 -0400 |
| commit | 94f9c0c4b6dd517dc3dca031fbcb9ff455309d19 (patch) | |
| tree | 70b808c749cde63711c969cfa57a1b47b40e1a24 /kernel/inductive.ml | |
| parent | 911a3bf975ddb933acc0f7e17c465005a5ee8465 (diff) | |
[Manual] Move doc on Let into Section mechanism, and more polishing
- Put "Section mechanism" example earlier
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions