log src/specialize.sig

age author description
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes