summaryrefslogtreecommitdiff
path: root/tests/empty_record.ur
Commit message (Expand)AuthorAge
* Small tweak to ordering of unification rules, to support better record matchingGravatar Adam Chlipala2014-07-29