diff --git a/prism/etc/scripts/hoa-library-for-prism b/prism/etc/scripts/hoa/hoa-library-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-library-for-prism
rename to prism/etc/scripts/hoa/hoa-library-for-prism
diff --git a/prism/etc/scripts/hoa-ltl2dstar-with-ltl2ba-for-prism b/prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2ba-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl2dstar-with-ltl2ba-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2ba-for-prism
diff --git a/prism/etc/scripts/hoa-ltl2dstar-with-ltl2tgba-for-prism b/prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2tgba-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl2dstar-with-ltl2tgba-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2tgba-for-prism
diff --git a/prism/etc/scripts/hoa-ltl2dstar-with-ltl3ba-for-prism b/prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl3ba-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl2dstar-with-ltl3ba-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl3ba-for-prism
diff --git a/prism/etc/scripts/hoa-ltl3dra-dra-for-prism b/prism/etc/scripts/hoa/hoa-ltl3dra-dra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl3dra-dra-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl3dra-dra-for-prism
diff --git a/prism/etc/scripts/hoa-ltl3dra-tgdra-for-prism b/prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl3dra-tgdra-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-dgra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-dgra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-dgra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-dgra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-dra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-dra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-dra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-dra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-tdra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-tdra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-tgdra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-tgdra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism