log src/search.sml

age author description
2008-03-28 Adam Chlipala Simple elaboration working
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Start of elaboration