HOLCF is needed for other Isabelle tools