diff options
| author | Hugo Herbelin | 2017-11-26 00:01:54 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2018-07-29 02:40:22 +0200 |
| commit | f3e49ebfbb9aeadccd0882cac02d7052997702dc (patch) | |
| tree | 221e81ac5ad7cc977c409305275313ca83338768 /kernel/inductive.ml | |
| parent | 7e96257529f9ccc118409a5b78e1fe1edd2597b2 (diff) | |
Documenting custom entries in the reference manual + CHANGES.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions