log src/elaborate.sml

age author description
Thu, 19 Jun 2008 16:04:28 -0400 Adam Chlipala Beginning of functor elaboration
Thu, 19 Jun 2008 15:15:00 -0400 Adam Chlipala Functor parsing
Tue, 17 Jun 2008 17:08:28 -0400 Adam Chlipala Proper selfification