lib: rename ml-helpers to ML_Utils

In preparation for making it its own separate session. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2023-01-20 11:26:48 +11:00 · 2023-01-20 11:26:48 +11:00 · f0f19375f7
parent 2e608b5a5c
commit f0f19375f7
16 changed files with 0 additions and 0 deletions
--- a/lib/ml-helpers/ListExtras.ML
+++ b/lib/ml-helpers/ListExtras.ML
--- a/lib/ml-helpers/MLUtils.thy
+++ b/lib/ml-helpers/MLUtils.thy
--- a/lib/ml-helpers/MethodExtras.ML
+++ b/lib/ml-helpers/MethodExtras.ML
--- a/lib/ml-helpers/MkTermAntiquote.thy
+++ b/lib/ml-helpers/MkTermAntiquote.thy
--- a/lib/ml-helpers/MkTermAntiquote_Tests.thy
+++ b/lib/ml-helpers/MkTermAntiquote_Tests.thy
--- a/lib/ml-helpers/OptionExtras.ML
+++ b/lib/ml-helpers/OptionExtras.ML
--- a/lib/ml-helpers/StringExtras.ML
+++ b/lib/ml-helpers/StringExtras.ML
--- a/lib/ml-helpers/Sum.ML
+++ b/lib/ml-helpers/Sum.ML
--- a/lib/ml-helpers/TacticAntiquotation.thy
+++ b/lib/ml-helpers/TacticAntiquotation.thy
--- a/lib/ml-helpers/TacticAntiquotation_Test.thy
+++ b/lib/ml-helpers/TacticAntiquotation_Test.thy
--- a/lib/ml-helpers/TacticTutorial.thy
+++ b/lib/ml-helpers/TacticTutorial.thy
--- a/lib/ml-helpers/TermExtras.ML
+++ b/lib/ml-helpers/TermExtras.ML
--- a/lib/ml-helpers/TermPatternAntiquote.thy
+++ b/lib/ml-helpers/TermPatternAntiquote.thy
--- a/lib/ml-helpers/TermPatternAntiquote_Tests.thy
+++ b/lib/ml-helpers/TermPatternAntiquote_Tests.thy
--- a/lib/ml-helpers/ThmExtras.ML
+++ b/lib/ml-helpers/ThmExtras.ML
--- a/lib/ml-helpers/mkterm_antiquote.ML
+++ b/lib/ml-helpers/mkterm_antiquote.ML