log src/unpoly.sml

age author description
2009-05-14 Adam Chlipala Fix a nasty binding bug in CoreUtil
2009-05-14 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
2008-10-21 Adam Chlipala listFun uses length
2008-09-11 Adam Chlipala Crud listing IDs
2008-09-11 Adam Chlipala Unpolyed a polymorphic function of two arguments
2008-09-11 Adam Chlipala Unpoly non-recursive function