.gitmodules

[submodule "ulo/coq.8.9.0"]
	path = experimental/ulo/libraries/coq
	url = git@gl.mathhub.info:Coqxml/coq.8.9.0.git
[submodule "ulo/Distribution"]
	path = experimental/ulo/libraries/isabelle-distribution
	url = git@gl.mathhub.info:Isabelle/Distribution.git
[submodule "ulo/AFP"]
	path = experimental/ulo/libraries/isabelle-afp
	url = git@gl.mathhub.info:Isabelle/AFP.git
[submodule "ulo/ulo"]
	path = experimental/ulo/ulo-owl
	url = git@gl.mathhub.info:ulo/ulo.git
[submodule "src/ulocollect"]
	path = src/ulocollect
	url = git@gitlab.cs.fau.de:kissen/ulocollect.git
[submodule "src/luo"]
	path = src/luo
	url = git@gitlab.cs.fau.de:kissen/luo.git