log

age author description
Thu, 21 Aug 2008 15:27:04 -0400 Adam Chlipala Relational operators; string literals for SQL