/usr/share/hol88-2.02.19940316/contrib/wordn/ is in hol88-contrib-help 2.02.19940316-19.
This file is owned by root:root, with mode 0o755.
..
/usr/share/hol88-2.02.19940316/contrib/wordn/help/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_word_partition.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_bit_ops.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_type.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_val.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/new_wordn_definition.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_WORD.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_one_one.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_onto.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_LENGTH_BITS_thm.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_NWORD_MOD.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_WORD_one_one.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_WORD_onto.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_bit_op_thms.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_function_defn_thm.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_word_val.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_cases_thm.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_const_cases.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_induction_thm.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/use_wordn.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_CASES_TAC.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_CONV.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_EQ_CONV.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_NVAL_CONV.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_NWORD_CONV.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_X_CASES_TAC.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_bit_ops.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/EXISTS_wordn_REP.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/wordn_ABS_REP.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/wordn_FN_DEF_THM.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_AND_ASSOC.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_AND_DEF.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_AND_SYM.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_NOT.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_NOT_DEF.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_OR_ASSOC.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_OR_DEF.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_OR_SYM.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_XOR_ASSOC.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_XOR_DEF.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_XOR_SYM.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/XOR_ASSOC.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/BV.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_LESS.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_LESS_EQ.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_ONE_ONE.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_ONTO.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_ONTO_LEMMA.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN_0.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN_MOD.doc
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN_VAL.doc