log src/unpoly.sig

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