.gitmodules - 3p/nicta/cogent - Git at Google

 [submodule "isabelle"]
 	path = isabelle
 	url = https://github.com/seL4/isabelle.git
   ignore = untracked
 [submodule "z3"]
 	path = z3
 	url = https://github.com/Z3Prover/z3.git
	[submodule "isabelle"]
	path = isabelle
	url = https://github.com/seL4/isabelle.git
	ignore = untracked
	[submodule "z3"]
	path = z3
	url = https://github.com/Z3Prover/z3.git