idris-lang/Idris-dev — pull request #1143 by ahmadsalim (2014-05-01 08:47:13+00:00)
Title: Bug fixing of induction bugs

Allow renaming according to introduced context (Fixes #1123)
Allow induction on records (Fixes #1129)