Translate reverse -> rev in the Isabelle world.