UniMath/UniMath — pull request #39 by DanGrayson (2014-10-29 02:57:26+00:00)
Title: "induction" instead of "destruct"

This is a version of Vladimir's pull request #37 that compiles. I'll close the pull request.