log tests/relops.urp

age author description
2009-12-13 Adam Chlipala Tweaking SQL parsing and typing