log tests/each.ur

age author description
2010-12-21 Adam Chlipala Hopeful fix to stop Especialize infinite looping