diff --git a/lib/ml-helpers/ListExtras.ML b/lib/ML_Utils/ListExtras.ML
similarity index 100%
rename from lib/ml-helpers/ListExtras.ML
rename to lib/ML_Utils/ListExtras.ML
diff --git a/lib/ml-helpers/MLUtils.thy b/lib/ML_Utils/MLUtils.thy
similarity index 100%
rename from lib/ml-helpers/MLUtils.thy
rename to lib/ML_Utils/MLUtils.thy
diff --git a/lib/ml-helpers/MethodExtras.ML b/lib/ML_Utils/MethodExtras.ML
similarity index 100%
rename from lib/ml-helpers/MethodExtras.ML
rename to lib/ML_Utils/MethodExtras.ML
diff --git a/lib/ml-helpers/MkTermAntiquote.thy b/lib/ML_Utils/MkTermAntiquote.thy
similarity index 100%
rename from lib/ml-helpers/MkTermAntiquote.thy
rename to lib/ML_Utils/MkTermAntiquote.thy
diff --git a/lib/ml-helpers/MkTermAntiquote_Tests.thy b/lib/ML_Utils/MkTermAntiquote_Tests.thy
similarity index 100%
rename from lib/ml-helpers/MkTermAntiquote_Tests.thy
rename to lib/ML_Utils/MkTermAntiquote_Tests.thy
diff --git a/lib/ml-helpers/OptionExtras.ML b/lib/ML_Utils/OptionExtras.ML
similarity index 100%
rename from lib/ml-helpers/OptionExtras.ML
rename to lib/ML_Utils/OptionExtras.ML
diff --git a/lib/ml-helpers/StringExtras.ML b/lib/ML_Utils/StringExtras.ML
similarity index 100%
rename from lib/ml-helpers/StringExtras.ML
rename to lib/ML_Utils/StringExtras.ML
diff --git a/lib/ml-helpers/Sum.ML b/lib/ML_Utils/Sum.ML
similarity index 100%
rename from lib/ml-helpers/Sum.ML
rename to lib/ML_Utils/Sum.ML
diff --git a/lib/ml-helpers/TacticAntiquotation.thy b/lib/ML_Utils/TacticAntiquotation.thy
similarity index 100%
rename from lib/ml-helpers/TacticAntiquotation.thy
rename to lib/ML_Utils/TacticAntiquotation.thy
diff --git a/lib/ml-helpers/TacticAntiquotation_Test.thy b/lib/ML_Utils/TacticAntiquotation_Test.thy
similarity index 100%
rename from lib/ml-helpers/TacticAntiquotation_Test.thy
rename to lib/ML_Utils/TacticAntiquotation_Test.thy
diff --git a/lib/ml-helpers/TacticTutorial.thy b/lib/ML_Utils/TacticTutorial.thy
similarity index 100%
rename from lib/ml-helpers/TacticTutorial.thy
rename to lib/ML_Utils/TacticTutorial.thy
diff --git a/lib/ml-helpers/TermExtras.ML b/lib/ML_Utils/TermExtras.ML
similarity index 100%
rename from lib/ml-helpers/TermExtras.ML
rename to lib/ML_Utils/TermExtras.ML
diff --git a/lib/ml-helpers/TermPatternAntiquote.thy b/lib/ML_Utils/TermPatternAntiquote.thy
similarity index 100%
rename from lib/ml-helpers/TermPatternAntiquote.thy
rename to lib/ML_Utils/TermPatternAntiquote.thy
diff --git a/lib/ml-helpers/TermPatternAntiquote_Tests.thy b/lib/ML_Utils/TermPatternAntiquote_Tests.thy
similarity index 100%
rename from lib/ml-helpers/TermPatternAntiquote_Tests.thy
rename to lib/ML_Utils/TermPatternAntiquote_Tests.thy
diff --git a/lib/ml-helpers/ThmExtras.ML b/lib/ML_Utils/ThmExtras.ML
similarity index 100%
rename from lib/ml-helpers/ThmExtras.ML
rename to lib/ML_Utils/ThmExtras.ML
diff --git a/lib/ml-helpers/mkterm_antiquote.ML b/lib/ML_Utils/mkterm_antiquote.ML
similarity index 100%
rename from lib/ml-helpers/mkterm_antiquote.ML
rename to lib/ML_Utils/mkterm_antiquote.ML