summaryrefslogtreecommitdiff
path: root/tests/sql_if.urs
Commit message (Collapse)AuthorAge
* For new IF, fix Monoize typing and add to manualGravatar Adam Chlipala2011-10-15