summaryrefslogtreecommitdiff
path: root/tests/subquery.urs
Commit message (Expand)AuthorAge
* Subquery expressionsGravatar Adam Chlipala2010-03-25