blob: 99f6e547a5c4ebccb884bad1b075e21f82875294 [file] [log] [blame]
[submodule "isabelle"]
path = isabelle
url = https://github.com/seL4/isabelle.git
ignore = untracked
[submodule "z3"]
path = z3
url = https://github.com/Z3Prover/z3.git