diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-26 18:18:24 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-27 14:31:30 +0200 |
commit | 9cf5d8dbfc6046adf92ba461b5a0a697fd578955 (patch) | |
tree | 25fc0e06c4e236cd3c017084d075c9b967e9f50e /install.sh | |
parent | 86cf7103f8d34670bbc5ee5c4a52359f3b01381f (diff) |
Improve inductive types subsection of the Gallina chapter.
Diffstat (limited to 'install.sh')
0 files changed, 0 insertions, 0 deletions