diff --git a/.github/workflows/pvs_prelude.yml b/.github/workflows/pvs_prelude.yml
index bf04121f52ec8a39bc0bd246b33e4720f8d44993..381bc9efcc7be99aff0e2e9da6ac3ac04945c312 100644
--- a/.github/workflows/pvs_prelude.yml
+++ b/.github/workflows/pvs_prelude.yml
@@ -10,7 +10,7 @@ jobs:
     - uses: actions/checkout@v2
 
     - name: setup
-      run: ci/bootstrap.sh
+      run: tools/bootstrap.sh
       shell: sh
 
     - name: install personoj
@@ -23,7 +23,7 @@ jobs:
     - name: translate and typecheck
       run: |
         eval $(opam env --switch=~/lambdapi --set-switch)
-        cd pvs-translation-tools/prelude || exit 1
+        cd tools/prelude || exit 1
         # Comment out theories that consume too much memory during 
         # typechecking
         sed -i 's/^floor_ceil$/-floor_ceil/' theories
diff --git a/README.md b/README.md
index ef8be0f60b9daff36558f669b4ca801b11d07e1a..c61fad7b536be5227cfd042d3d449bcf69f9ac63 100644
--- a/README.md
+++ b/README.md
@@ -36,4 +36,4 @@ the path (absolute or relative to `$HOME`) to the `exporter` directory.
 
 ### Usage
 
-See `pvs-translation-tools/README.md`.
+See `tools/README.md`.
diff --git a/pvs-translation-tools/.gitignore b/tools/.gitignore
similarity index 100%
rename from pvs-translation-tools/.gitignore
rename to tools/.gitignore
diff --git a/pvs-translation-tools/README.md b/tools/README.md
similarity index 100%
rename from pvs-translation-tools/README.md
rename to tools/README.md
diff --git a/ci/bootstrap.sh b/tools/bootstrap.sh
similarity index 93%
rename from ci/bootstrap.sh
rename to tools/bootstrap.sh
index 24997a3d126568375fd7706f79949f280dcb6066..d6eaf1177d792e42b9e3afbd88f19cdff414b3e3 100755
--- a/ci/bootstrap.sh
+++ b/tools/bootstrap.sh
@@ -39,7 +39,7 @@ gclone https://github.com/SRI-CSL/PVS.git PVS pvs7.1
  PVSPATH="${HOME}/PVS"
  export PVSPATH
 
- for p in $(find pvs-translation-tools/prelude_patches -name '*.diff' | sort); do
+ for p in $(find tools/prelude_patches -name '*.diff' | sort); do
      patch "${PVSPATH}/lib/prelude.pvs" "$p"
  done
 
diff --git a/pvs-translation-tools/lambdapi.mk b/tools/lambdapi.mk
similarity index 100%
rename from pvs-translation-tools/lambdapi.mk
rename to tools/lambdapi.mk
diff --git a/pvs-translation-tools/lambdapi.pkg b/tools/lambdapi.pkg
similarity index 100%
rename from pvs-translation-tools/lambdapi.pkg
rename to tools/lambdapi.pkg
diff --git a/pvs-translation-tools/prelude/Makefile b/tools/prelude/Makefile
similarity index 100%
rename from pvs-translation-tools/prelude/Makefile
rename to tools/prelude/Makefile
diff --git a/pvs-translation-tools/prelude/README.md b/tools/prelude/README.md
similarity index 100%
rename from pvs-translation-tools/prelude/README.md
rename to tools/prelude/README.md
diff --git a/pvs-translation-tools/prelude/divides.lp.sh b/tools/prelude/divides.lp.sh
similarity index 100%
rename from pvs-translation-tools/prelude/divides.lp.sh
rename to tools/prelude/divides.lp.sh
diff --git a/pvs-translation-tools/prelude/mk_dummy.sh b/tools/prelude/mk_dummy.sh
similarity index 100%
rename from pvs-translation-tools/prelude/mk_dummy.sh
rename to tools/prelude/mk_dummy.sh
diff --git a/pvs-translation-tools/prelude/number_fields.lp.patch b/tools/prelude/number_fields.lp.patch
similarity index 100%
rename from pvs-translation-tools/prelude/number_fields.lp.patch
rename to tools/prelude/number_fields.lp.patch
diff --git a/pvs-translation-tools/prelude/theories b/tools/prelude/theories
similarity index 100%
rename from pvs-translation-tools/prelude/theories
rename to tools/prelude/theories
diff --git a/pvs-translation-tools/prelude_patches/01-functions.diff b/tools/prelude_patches/01-functions.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/01-functions.diff
rename to tools/prelude_patches/01-functions.diff
diff --git a/pvs-translation-tools/prelude_patches/02-orders.diff b/tools/prelude_patches/02-orders.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/02-orders.diff
rename to tools/prelude_patches/02-orders.diff
diff --git a/pvs-translation-tools/prelude_patches/03-sets.diff b/tools/prelude_patches/03-sets.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/03-sets.diff
rename to tools/prelude_patches/03-sets.diff
diff --git a/pvs-translation-tools/prelude_patches/04-sequences.diff b/tools/prelude_patches/04-sequences.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/04-sequences.diff
rename to tools/prelude_patches/04-sequences.diff
diff --git a/pvs-translation-tools/prelude_patches/05-function_image.diff b/tools/prelude_patches/05-function_image.diff
similarity index 100%
rename from pvs-translation-tools/prelude_patches/05-function_image.diff
rename to tools/prelude_patches/05-function_image.diff
diff --git a/pvs-translation-tools/prelude_patches/patch-prelude.sh b/tools/prelude_patches/patch-prelude.sh
similarity index 100%
rename from pvs-translation-tools/prelude_patches/patch-prelude.sh
rename to tools/prelude_patches/patch-prelude.sh
diff --git a/pvs-translation-tools/pvs2dk.sh b/tools/pvs2dk.sh
similarity index 100%
rename from pvs-translation-tools/pvs2dk.sh
rename to tools/pvs2dk.sh
diff --git a/pvs-translation-tools/simple/Makefile b/tools/simple/Makefile
similarity index 100%
rename from pvs-translation-tools/simple/Makefile
rename to tools/simple/Makefile