hol88-contrib-help 2.02.19940316-19 in ubuntu - trusty / universe

About

This package is 23.2 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/hol88/hol88-contrib-help_2.02.19940316-19_all.deb .

View its full control file here: debian/control.

Description

Higher Order Logic, user contributed online help files

Relations

This package does not depend on any other package.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

hol88-contrib-help 2.02.19940316-19 is in ubuntu - trusty / universe. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/hol88-contrib-help/ root:root 0o755
/usr/share/doc/hol88-contrib-help/changelog.Debian.gz application/gzip root:root 0o644 613 bytes
/usr/share/doc/hol88-contrib-help/copyright text/plain root:root 0o644 1.1 KB
/usr/share/hol88-2.02.19940316/ root:root 0o755
/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_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/define_word_partition.doc text/plain root:root 0o644 1009 bytes
/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_bit_op_thms.doc text/plain root:root 0o644 1.3 KB
/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_BITS_WORD.doc text/plain root:root 0o644 762 bytes
/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_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_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/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_word_val.doc text/plain root:root 0o644 933 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_bit_ops.doc text/plain root:root 0o644 1.4 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/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_DEF.doc text/plain root:root 0o644 107 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_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_0.doc text/plain root:root 0o644 106 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_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.