log src/specialize.sml

age author description
2009-05-16 Adam Chlipala Mutual datatypes through Effectize
2009-05-12 Adam Chlipala Improvements while working on Graftid
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