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