log tests/update.ur

age author description
2008-09-07 Adam Chlipala Automatically add table annotations in UPDATE and DELETE
2008-09-07 Adam Chlipala First UPDATE works
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 UPDATE
2008-09-07 Adam Chlipala Elaborated 'update'