Removed unnecessary freeze from Hasse.lhs