hol88-contrib-help 2.02.19940316-14 / usr / share / hol88-2.02.19940316

This file is indexed.

/usr/share/hol88-2.02.19940316/ is in hol88-contrib-help 2.02.19940316-14.

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

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/contrib/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/bags/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/bags/bags.doc text/x-c root:root 0o644 27.5 KB
/usr/share/hol88-2.02.19940316/contrib/prooftree/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/all_subgoals.doc text/plain root:root 0o644 596 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/auto_cancel.doc text/plain root:root 0o644 654 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/cancel_tac.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/compact.doc text/plain root:root 0o644 2.2 KB
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/complete_proof.doc text/plain root:root 0o644 826 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/current_goal.doc text/plain root:root 0o644 736 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/current_proof.doc text/plain root:root 0o644 1019 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/do_tac.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/do_tacf.doc text/plain root:root 0o644 750 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/move_to_proof.doc text/plain root:root 0o644 700 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/name_current_proof.doc text/plain root:root 0o644 634 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/new_goal.doc text/plain root:root 0o644 728 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/proven.doc text/plain root:root 0o644 752 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/remove_proof.doc text/plain root:root 0o644 715 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/rm_proof.doc text/plain root:root 0o644 759 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_all_proofs.doc text/plain root:root 0o644 781 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_all_subgoals.doc text/plain root:root 0o644 916 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_tac.doc text/plain root:root 0o644 674 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_the_tactic.doc text/plain root:root 0o644 858 bytes
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/store_thm.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/subgoal_tac.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_word_partition.doc text/plain root:root 0o644 1009 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_bit_ops.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_type.doc text/plain root:root 0o644 175 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_val.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/new_wordn_definition.doc text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_WORD.doc text/plain root:root 0o644 762 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_one_one.doc text/plain root:root 0o644 167 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_onto.doc text/plain root:root 0o644 161 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_LENGTH_BITS_thm.doc text/plain root:root 0o644 173 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_NWORD_MOD.doc text/plain root:root 0o644 743 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_WORD_one_one.doc text/plain root:root 0o644 167 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_WORD_onto.doc text/plain root:root 0o644 161 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_bit_op_thms.doc text/plain root:root 0o644 1.3 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_function_defn_thm.doc text/plain root:root 0o644 177 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_word_val.doc text/plain root:root 0o644 933 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_cases_thm.doc text/plain root:root 0o644 173 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_const_cases.doc text/plain root:root 0o644 785 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_induction_thm.doc text/plain root:root 0o644 181 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/use_wordn.doc text/plain root:root 0o644 2.1 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_CASES_TAC.doc text/plain root:root 0o644 1.7 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_CONV.doc text/plain root:root 0o644 375 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_EQ_CONV.doc text/plain root:root 0o644 549 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_NVAL_CONV.doc text/plain root:root 0o644 807 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_NWORD_CONV.doc text/plain root:root 0o644 950 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_X_CASES_TAC.doc text/plain root:root 0o644 1.9 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_bit_ops.doc text/plain root:root 0o644 1.4 KB
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/EXISTS_wordn_REP.doc text/plain root:root 0o644 80 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/wordn_ABS_REP.doc text/plain root:root 0o644 194 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/base/wordn_FN_DEF_THM.doc text/plain root:root 0o644 194 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_AND_ASSOC.doc text/plain root:root 0o644 170 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_AND_DEF.doc text/plain root:root 0o644 143 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_AND_SYM.doc text/plain root:root 0o644 111 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_NOT.doc text/plain root:root 0o644 66 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_NOT_DEF.doc text/plain root:root 0o644 107 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_OR_ASSOC.doc text/plain root:root 0o644 165 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_OR_DEF.doc text/plain root:root 0o644 139 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_OR_SYM.doc text/plain root:root 0o644 108 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_XOR_ASSOC.doc text/plain root:root 0o644 170 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_XOR_DEF.doc text/plain root:root 0o644 143 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/B_XOR_SYM.doc text/plain root:root 0o644 111 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/bitops/XOR_ASSOC.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/ root:root 0o755
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/BV.doc text/plain root:root 0o644 65 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL.doc text/plain root:root 0o644 124 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_LESS.doc text/plain root:root 0o644 76 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_LESS_EQ.doc text/plain root:root 0o644 86 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_ONE_ONE.doc text/plain root:root 0o644 114 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_ONTO.doc text/plain root:root 0o644 61 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/VAL_ONTO_LEMMA.doc text/plain root:root 0o644 109 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN.doc text/plain root:root 0o644 108 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN_0.doc text/plain root:root 0o644 106 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN_MOD.doc text/plain root:root 0o644 87 bytes
/usr/share/hol88-2.02.19940316/contrib/wordn/help/THEOREMS/num/WORDN_VAL.doc text/plain root:root 0o644 75 bytes

APT Browse - Built by Thomas Orozco.