/usr/share/hol88-2.02.19940316/ml/ is in hol88-source 2.02.19940316-28.
This file is owned by root:root, with mode 0o755.
..
/usr/share/hol88-2.02.19940316/ml/abs-rep.ml
/usr/share/hol88-2.02.19940316/ml/conv.ml
/usr/share/hol88-2.02.19940316/ml/drul.ml
/usr/share/hol88-2.02.19940316/ml/gen.ml
/usr/share/hol88-2.02.19940316/ml/genfns.ml
/usr/share/hol88-2.02.19940316/ml/goals.ml
/usr/share/hol88-2.02.19940316/ml/hol-drule.ml
/usr/share/hol88-2.02.19940316/ml/hol-in-out.ml
/usr/share/hol88-2.02.19940316/ml/hol-net.ml
/usr/share/hol88-2.02.19940316/ml/hol-rule.ml
/usr/share/hol88-2.02.19940316/ml/hol-syn.ml
/usr/share/hol88-2.02.19940316/ml/hol-thyfn.ml
/usr/share/hol88-2.02.19940316/ml/ind.ml
/usr/share/hol88-2.02.19940316/ml/killpp.ml
/usr/share/hol88-2.02.19940316/ml/lcf-net.ml
/usr/share/hol88-2.02.19940316/ml/lib_loader.ml
/usr/share/hol88-2.02.19940316/ml/lis.ml
/usr/share/hol88-2.02.19940316/ml/list.ml
/usr/share/hol88-2.02.19940316/ml/load_thms.ml
/usr/share/hol88-2.02.19940316/ml/ml-curry.ml
/usr/share/hol88-2.02.19940316/ml/new-tactics.ml
/usr/share/hol88-2.02.19940316/ml/num.ml
/usr/share/hol88-2.02.19940316/ml/numconv.ml
/usr/share/hol88-2.02.19940316/ml/prim_rec.ml
/usr/share/hol88-2.02.19940316/ml/resolve.ml
/usr/share/hol88-2.02.19940316/ml/rewrite.ml
/usr/share/hol88-2.02.19940316/ml/site.ml
/usr/share/hol88-2.02.19940316/ml/stack.ml
/usr/share/hol88-2.02.19940316/ml/tacont.ml
/usr/share/hol88-2.02.19940316/ml/tacticals.ml
/usr/share/hol88-2.02.19940316/ml/tactics.ml
/usr/share/hol88-2.02.19940316/ml/tydefs.ml
/usr/share/hol88-2.02.19940316/ml/tyfns.ml