log tests/delete.urp

age author description
2008-09-07 Adam Chlipala Elaborated 'delete'