log

age author description
Sun, 20 Dec 2009 15:17:43 -0500 Adam Chlipala Another try at reasonable Especialize, this time with a custom traversal