Michael hydratase alcohol dehydrogenase or just alcohol dehydrogenase?

Michael hydratase alcohol dehydrogenase or just alcohol dehydrogenase?