log tests/sql_option.ur

age author description
2008-11-06 Adam Chlipala Ensql'ing nullables
2008-11-06 Adam Chlipala Inserted a NULL value