log src/elab_util.sml

age author description
Fri, 28 Mar 2008 13:59:03 -0400 Adam Chlipala Start of elaborating expressions