diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-05-04 10:15:26 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-05-04 10:15:26 +0200 |
| commit | c81228e693dea839f648ddc95f7cedec22d6a47a (patch) | |
| tree | a7f284c43aa819e938da41467cebdb254c02ae8c /test-suite/success/induct.v | |
| parent | 7d40dd02d83484657943fede361371d5600a7e32 (diff) | |
| parent | 8bac7b9e0a149cd8f374ac63f33ec4ecfc5ae2d2 (diff) | |
Merge branch 'haskell-type-indent' of https://github.com/zeldovich/coq into trunk
Diffstat (limited to 'test-suite/success/induct.v')
0 files changed, 0 insertions, 0 deletions