path: root/etc/isa/depends/Usedepends.thy

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