log demo/sql.ur

age author description
2008-10-27 Adam Chlipala Remove need for '() <-' notation
2008-10-21 Adam Chlipala Sql demo