log

age author description
Sun, 13 Dec 2009 14:34:18 -0500 Adam Chlipala Fixing a bug in DInitializer elaboration