log src/especialize.sml

age author description
Thu, 06 Jan 2011 12:31:13 -0500 Adam Chlipala Expand valueish again
Thu, 06 Jan 2011 09:25:15 -0500 Adam Chlipala Broaden definition of valueish
Fri, 24 Dec 2010 12:51:46 -0500 Adam Chlipala Add an extra Especialize pass before Rpcify