Fixed broken links to my home directory!
Commented out "induction" combinator. I'm going to replace this with a straight-forward tactic and use "parts".
Got rid of "induction" keyword.
Got rid of induction combinator. I'm just going to use tactics and parts.
Got rid of "induction".