log src/search.sig

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