[submodule "ulo/coq.8.9.0"]
	path = ulo/libraries/coq
	url = git@gl.mathhub.info:Coqxml/coq.8.9.0.git
[submodule "ulo/Distribution"]
	path = ulo/libraries/isabelle-distribution
	url = git@gl.mathhub.info:Isabelle/Distribution.git
[submodule "ulo/AFP"]
	path = ulo/libraries/isabelle-afp
	url = git@gl.mathhub.info:Isabelle/AFP.git