This file is indexed.

/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.

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/ml/abs-rep.ml text/plain root:root 0o644 10.7 KB
/usr/share/hol88-2.02.19940316/ml/conv.ml text/plain root:root 0o644 103.9 KB
/usr/share/hol88-2.02.19940316/ml/drul.ml text/plain root:root 0o644 37.7 KB
/usr/share/hol88-2.02.19940316/ml/gen.ml text/plain root:root 0o644 11.4 KB
/usr/share/hol88-2.02.19940316/ml/genfns.ml text/plain root:root 0o644 3.8 KB
/usr/share/hol88-2.02.19940316/ml/goals.ml text/plain root:root 0o644 7.7 KB
/usr/share/hol88-2.02.19940316/ml/hol-drule.ml text/plain root:root 0o644 57.8 KB
/usr/share/hol88-2.02.19940316/ml/hol-in-out.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/ml/hol-net.ml text/plain root:root 0o644 3.1 KB
/usr/share/hol88-2.02.19940316/ml/hol-rule.ml text/plain root:root 0o644 8.4 KB
/usr/share/hol88-2.02.19940316/ml/hol-syn.ml text/plain root:root 0o644 58.2 KB
/usr/share/hol88-2.02.19940316/ml/hol-thyfn.ml text/plain root:root 0o644 15.6 KB
/usr/share/hol88-2.02.19940316/ml/ind.ml text/plain root:root 0o644 9.3 KB
/usr/share/hol88-2.02.19940316/ml/killpp.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/ml/lcf-net.ml text/plain root:root 0o644 8.6 KB
/usr/share/hol88-2.02.19940316/ml/lib_loader.ml text/plain root:root 0o644 7.6 KB
/usr/share/hol88-2.02.19940316/ml/lis.ml text/plain root:root 0o644 7.2 KB
/usr/share/hol88-2.02.19940316/ml/list.ml text/plain root:root 0o644 45.8 KB
/usr/share/hol88-2.02.19940316/ml/load_thms.ml text/plain root:root 0o644 27.5 KB
/usr/share/hol88-2.02.19940316/ml/ml-curry.ml text/plain root:root 0o644 4.3 KB
/usr/share/hol88-2.02.19940316/ml/new-tactics.ml text/plain root:root 0o644 2.6 KB
/usr/share/hol88-2.02.19940316/ml/num.ml text/plain root:root 0o644 16.4 KB
/usr/share/hol88-2.02.19940316/ml/numconv.ml text/plain root:root 0o644 2.5 KB
/usr/share/hol88-2.02.19940316/ml/prim_rec.ml text/plain root:root 0o644 11.1 KB
/usr/share/hol88-2.02.19940316/ml/resolve.ml text/plain root:root 0o644 19.4 KB
/usr/share/hol88-2.02.19940316/ml/rewrite.ml text/plain root:root 0o644 18.1 KB
/usr/share/hol88-2.02.19940316/ml/site.ml text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/ml/stack.ml text/plain root:root 0o644 5.7 KB
/usr/share/hol88-2.02.19940316/ml/tacont.ml text/plain root:root 0o644 10.6 KB
/usr/share/hol88-2.02.19940316/ml/tacticals.ml text/plain root:root 0o644 10.2 KB
/usr/share/hol88-2.02.19940316/ml/tactics.ml text/plain root:root 0o644 16.6 KB
/usr/share/hol88-2.02.19940316/ml/tydefs.ml text/plain root:root 0o644 54.6 KB
/usr/share/hol88-2.02.19940316/ml/tyfns.ml text/plain root:root 0o644 26.4 KB