log

age author description
Tue, 21 Dec 2010 14:01:27 -0500 Adam Chlipala More detail on Especialize in the manual