log tests/specialize.urp

age author description
2008-09-11 Adam Chlipala Unpoly non-recursive function