log

age author description
Fri, 28 Mar 2008 15:20:46 -0400 Adam Chlipala Simple elaboration working
Fri, 28 Mar 2008 13:59:03 -0400 Adam Chlipala Start of elaborating expressions