log tests/filter.ur

age author description
2009-08-06 Adam Chlipala Fix type class resolution infinite loop, discovered while meeting with Ezra