(* dummy theory to load depends.ML *)
theory Usedepends = Main:
end