coq/coq — pull request #20 by JasonGross (2014-05-14 12:30:13+00:00)
Title: Deifnition of Lift

Make definitions to lift types and lift and lower terms.