knuton/la-girafe-sportive — pull request #5 by yfyf (2013-12-11 00:27:56+00:00)
Title: Add proof for the Var case of subst lemma

Lots of omega cheating, but whatever.