log src/specialize.sml

age author description
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-08-09 Adam Chlipala A multi-parameter datatype all the way through
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes