1(*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 *)
6
7\<comment>\<open>
8  MLUtils is a collection of 'basic' ML utilities (kind of like @{file
9  "~~/src/Pure/library.ML"}, but maintained by Trustworthy Systems). If you
10  find yourself implementing:
11      - A simple data-structure-shuffling task,
12      - Something that shows up in the standard library of other functional
13        languages, or
14      - Something that's "missing" from the general pattern of an Isabelle ML
15        library,
16  consider adding it here.
17\<close>
18
19theory MLUtils
20imports Main
21begin
22ML_file "StringExtras.ML"
23ML_file "ListExtras.ML"
24ML_file "MethodExtras.ML"
25ML_file "OptionExtras.ML"
26ML_file "ThmExtras.ML"
27ML_file "Sum.ML"
28ML_file "TermExtras.ML"
29end
30