log tests/unbound.ur

age author description
2012-04-21 Adam Chlipala Avoid kindof failures in elaboration