diff options
| author | Pierre-Marie Pédrot | 2014-11-20 00:12:09 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-11-20 00:12:09 +0100 |
| commit | be3a07eafa86a23f06297a9f971413ecfbe41959 (patch) | |
| tree | e9081ea7badfa0ba4264511def74b758f61871ed /kernel | |
| parent | 3d5936f280bc01bd6baa8b4396e641ac156bfd5b (diff) | |
Setting printing flags on the printing of mutual inductives.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions