log src/search.sig

age author description
2008-03-28 Adam Chlipala Simple elaboration working