log tests/delete.ur

age author description
2008-09-07 Adam Chlipala Automatically add table annotations in UPDATE and DELETE
2008-09-07 Adam Chlipala Scratch that change....
2008-09-07 Adam Chlipala Remove need to mention table name in expressions for UPDATE and DELETE
2008-09-07 Adam Chlipala Parsing DELETE
2008-09-07 Adam Chlipala Elaborated 'delete'