removed pointless version checks: Isabelle component integration does the job already;