Hello, are you looking for the SErAPIS Isabelle natural language search engine.?
SErAPIS is now HERE!