idris-lang/Idris-dev — pull request #1302 by ahmadsalim (2014-06-09 16:49:41+00:00)
Title: Added tactic for case analysis.

Also, induction now work on expressions instead of simply names.