Theory Utils

theory Utils
  imports "ZF-Constructible.Formula"
begin

ML_file ‹utils.ML›

end