diff --git a/ulo/build_virtuoso.sh b/ulo/scripts/build_virtuoso.sh
similarity index 100%
rename from ulo/build_virtuoso.sh
rename to ulo/scripts/build_virtuoso.sh
diff --git a/ulo/coq-cut.sh b/ulo/scripts/coq-cut.sh
similarity index 100%
rename from ulo/coq-cut.sh
rename to ulo/scripts/coq-cut.sh
diff --git a/ulo/extract-iris.sh b/ulo/scripts/extract-iris.sh
similarity index 100%
rename from ulo/extract-iris.sh
rename to ulo/scripts/extract-iris.sh
diff --git a/ulo/fix-rdf-file.py b/ulo/scripts/fix-rdf-file.py
similarity index 100%
rename from ulo/fix-rdf-file.py
rename to ulo/scripts/fix-rdf-file.py
diff --git a/ulo/import-recursive-xz-rdf-to-virtuoso.sh b/ulo/scripts/import-recursive-xz-rdf-to-virtuoso.sh
similarity index 100%
rename from ulo/import-recursive-xz-rdf-to-virtuoso.sh
rename to ulo/scripts/import-recursive-xz-rdf-to-virtuoso.sh
diff --git a/ulo/isabelle-prepare.sh b/ulo/scripts/isabelle-prepare.sh
similarity index 100%
rename from ulo/isabelle-prepare.sh
rename to ulo/scripts/isabelle-prepare.sh
diff --git a/ulo/reset-libraries.sh b/ulo/scripts/reset-libraries.sh
similarity index 100%
rename from ulo/reset-libraries.sh
rename to ulo/scripts/reset-libraries.sh
diff --git a/ulo/xz-to-gz.sh b/ulo/scripts/xz-to-gz.sh
similarity index 100%
rename from ulo/xz-to-gz.sh
rename to ulo/scripts/xz-to-gz.sh