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