diff options
| author | Matej Kosik | 2016-06-08 16:16:13 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-06-15 15:32:33 +0200 |
| commit | 425c158e83e86471f5463e75cce2b6a6daa4e7c6 (patch) | |
| tree | 6279a75fbb3dd3927a931e3b32685ef90966eba6 /kernel/inductive.mli | |
| parent | 3e0f94ac02fac8f4693e51b6656f9448b4b50921 (diff) | |
typography
Diffstat (limited to 'kernel/inductive.mli')
0 files changed, 0 insertions, 0 deletions