log

age author description
Thu, 14 Aug 2008 18:35:08 -0400 Adam Chlipala Non-star SELECT
Thu, 14 Aug 2008 15:27:35 -0400 Adam Chlipala Remove extraneous disjointness goal
Thu, 14 Aug 2008 15:24:59 -0400 Adam Chlipala Elaborating 'SELECT *' queries
Thu, 14 Aug 2008 13:59:11 -0400 Adam Chlipala Parsing the simplest SQL query