log src/monoize.sml

age author description
Tue, 06 Apr 2010 09:51:36 -0400 Adam Chlipala Introduced the known() predicate
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Thu, 01 Apr 2010 17:21:16 -0400 Adam Chlipala Relational operators portability
Sun, 28 Mar 2010 10:10:35 -0400 Adam Chlipala Make SELECT FROM clauses optional
Thu, 25 Mar 2010 16:06:04 -0400 Adam Chlipala Subquery FROM items
Thu, 25 Mar 2010 15:44:24 -0400 Adam Chlipala Subquery expressions
Tue, 16 Mar 2010 15:54:35 -0400 Adam Chlipala COUNT(col)