log tests/rewrite.urp

age author description
2009-05-02 Adam Chlipala Path rewriting