Isabelle component for OpenTheory
This component provides an install script that will place its directory into the appropriate etc/components file:
$ git clone --recursive https://github.com/isabelle-prover/opentheory-component.git
$ cd opentheory-component
$ isabelle env ./install.sh