diff options
| author | Arnaud Spiwack | 2014-09-17 14:20:05 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-11-01 22:43:57 +0100 |
| commit | dd98363034c871ac858257cf71f089ca03c17ac1 (patch) | |
| tree | a7e71827aaa4a3815073e1c49723ff19798fa6ec /lib | |
| parent | 53c3b382b4ca82e4589d2f5e574df688ab7957de (diff) | |
Don't raise an error when printing intro-patterns in [functional induction].
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions