Switching to the current version of HOL.