This file is indexed.

/usr/share/hol88-2.02.19940316/contrib/ is in hol88-contrib-source 2.02.19940316-19.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/contrib/AKCL-mods/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/CARD/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/CPO/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/CSP/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/HOLproof/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/PNF/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/Predicate/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/RefCalc/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/SECD/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/Tarski/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/UNITY/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/WELL_ORDER/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/WF/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/Xhelp/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/Z/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/ZET/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/aci/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/auxiliary/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/bags/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/benchmark/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/boyer-moore/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/btg-tactics/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/cont/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/convert/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/eval/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/fixpoints/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/fpf/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/greatest/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/group/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/hol-emacs/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/hol-exec/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/icl-taut/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/int/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/int_mod/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/integer/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/knuth-bendix/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/koenig/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/make_use/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/mut_rec_types/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/mweb/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/non-unix/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/pre-v2.02-rewr/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/pred/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/prog_logic88/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/prog_logic92/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/prooftree/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/quotient/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/rec_tys_listop/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/reduct/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/res_quan/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/rewriting/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/rule-induction/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/smarttacs/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/subgoal/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/temporal/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/tex-thy-format/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/tooltool/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/ root:root 0o755