log tests/agg.urp

age author description
2010-03-16 Adam Chlipala COUNT(col)