diff options
| author | Hugo Herbelin | 2014-08-05 15:20:08 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-05 19:52:23 +0200 |
| commit | ac9f225940357ffd9841f1df277c4f78964df313 (patch) | |
| tree | 0554be317d675b252e40ebfe5f507cc885b8cc65 /kernel/inductive.ml | |
| parent | 127766a3840168a01f6631dbc0ab517e17b94b64 (diff) | |
Testing beautifying on an example.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions