log

age author description
Sun, 26 Apr 2009 12:47:53 -0400 Adam Chlipala Extra checks on assumptions about SQL results
Sun, 26 Apr 2009 12:35:45 -0400 Adam Chlipala sql_ufunc and octet_length