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 | 1fe4593d355fcf305e36ebf4abf7e290ec37fab1 (patch) | |
| tree | cfa6eed557922f2f2434c4ab1d2e738d2a2da072 /kernel/retroknowledge.ml | |
| parent | 27a6d4a87058fdbc93c4575ea8c7af68237787a4 (diff) | |
Revert "Fixing printing of keeping hyp on the fly."
This reverts commit d408e09e5366899f4313f433cc9507ea92458c49.
Diffstat (limited to 'kernel/retroknowledge.ml')
0 files changed, 0 insertions, 0 deletions