summaryrefslogtreecommitdiff
path: root/lib/ur/list.urs
Commit message (Expand)AuthorAge
* Proper lifting of MonoEnv stored expressions; avoidance of onchange clobberingGravatar Adam Chlipala2009-05-14
* Fix a nasty binding bug in CoreUtilGravatar Adam Chlipala2009-05-14
* Improving/reordering Unpoly and Especialize; pathmapsGravatar Adam Chlipala2009-05-14