log tests/lower.urp

age author description
2011-12-17 Adam Chlipala SQL lower() and upper() functions