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

use "~/ProofGeneral/isa/depends.ML";