diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-05-04 11:15:37 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-05-04 11:17:45 +0200 |
| commit | 796859aca4fc85dc721b670d95b0c2aaace55e32 (patch) | |
| tree | 7cf8f5b32dcaffe57143aa08830dfadf3f47573d /kernel/inductive.mli | |
| parent | 78e616d56dc0646d0c67ab57e11671a6c08d0cc7 (diff) | |
Fixing subst.out after changing spacing in goal output (24a125b77).
Diffstat (limited to 'kernel/inductive.mli')
0 files changed, 0 insertions, 0 deletions