Simple On-line Saheeh Muslim Search Engine
As well as literal searches like 'dajjal', the Search Engines can also
make intelligent searches like 'dajjal .* medina' , which would
search through the ahadith for hadith where dajjal is first mentioned, then medina.