log

age author description
Tue, 15 Dec 2009 19:26:52 -0500 Adam Chlipala Especialize uses a termination measure based on number of arguments introduced