diff options
author | 2018-05-26 18:18:24 +0200 | |
---|---|---|
committer | 2018-05-27 14:31:30 +0200 | |
commit | 9cf5d8dbfc6046adf92ba461b5a0a697fd578955 (patch) | |
tree | 25fc0e06c4e236cd3c017084d075c9b967e9f50e /lib/dAst.ml | |
parent | 86cf7103f8d34670bbc5ee5c4a52359f3b01381f (diff) |
Improve inductive types subsection of the Gallina chapter.
Diffstat (limited to 'lib/dAst.ml')
0 files changed, 0 insertions, 0 deletions