log tests/cookieClear.ur

age author description
2011-02-10 Adam Chlipala Fix some cookie-related bugs in MonoReduce