log tests/user.ur

age author description
2009-10-05 Adam Chlipala Mangle local table names to avoid keyword clashes in SQL