log tests/insert.ur

age author description
2008-09-07 Adam Chlipala Parsing INSERT
2008-09-07 Adam Chlipala Elaborated 'insert'