Daniel Selsam aed6d8fea0 fix(tactic/dsimplify.cpp): must whnf in post to be idempotent		2016-12-08 13:34:32 -08:00
..
lean	fix(tactic/dsimplify.cpp): must whnf in post to be idempotent	2016-12-08 13:34:32 -08:00