log src/especialize.sig

age author description
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
2008-10-30 Adam Chlipala Especialize