diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 22:13:03 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 22:13:03 +0200 |
| commit | 172708b434ead6c3f824cf51e60c3141597e1e2b (patch) | |
| tree | faf3943ea63e9955f165cc5d5c85079cd0da3b88 /theories/Numbers/Natural/BigN | |
| parent | bfd23b1ec7e6c29c1740ec3c917851cbdb6ec18e (diff) | |
Revert "Fixing printing of induction/destruct as."
This reverts commit 691dc7d88c6810333eecef7c2f0b8d8617d19ab1.
Diffstat (limited to 'theories/Numbers/Natural/BigN')
0 files changed, 0 insertions, 0 deletions