diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-13 16:12:04 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-06-16 17:30:18 +0200 |
commit | 0fc54db5d436d7e140c0363240a14268f6fd2c47 (patch) | |
tree | 09a9273e1c7f765bc254992a1e51926c17fd02fc /TODO | |
parent | b2991bf6eec4ae7706f3dd33941af909f36f1773 (diff) |
Fixing printing of induction/destruct as.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions