theory Utils imports "ZF-Constructible.Formula" begin txt‹This theory encapsulates some ML utilities› ML_file‹Utils.ml› end