log

age author description
Thu, 27 Nov 2008 10:40:29 -0500 Adam Chlipala Remove unnecessary lifts in ElabEnv.pushCRel