hol88-contrib-help (2.02.19940316dfsg-9)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- hol88
- Architecture
- amd64v3
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 139 B
- Size expected
- 23.9 kB
- Size actual
- 23.9 kB
- Size match
Dependencies
Required package dependencies
- None
Suggested packages
Recommended additional packages
- None
Description
Higher Order Logic, user contributed online help files
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 737d78c4…e210f797 | |
| SHA-1 | a5912e1a…dd013c94 | |
| SHA-256 | 651f54ca…5e19742f | |
| SHA-512 | af76cca6…4fce94fb |
Contents
Files and directories included
. usr usr/share usr/share/doc usr/share/doc/hol88-contrib-help usr/share/doc/hol88-contrib-help/changelog.Debian.gz usr/share/doc/hol88-contrib-help/copyright usr/share/hol88-2.02.19940316dfsg usr/share/hol88-2.02.19940316dfsg/contrib usr/share/hol88-2.02.19940316dfsg/contrib/bags usr/share/hol88-2.02.19940316dfsg/contrib/bags/bags.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/all_subgoals.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/auto_cancel.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/cancel_tac.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/compact.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/complete_proof.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/current_goal.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/current_proof.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/do_tac.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/do_tacf.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/move_to_proof.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/name_current_proof.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/new_goal.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/proven.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/remove_proof.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/rm_proof.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/show_all_proofs.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/show_all_subgoals.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/show_tac.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/show_the_tactic.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/store_thm.doc usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/help/entries/subgoal_tac.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/define_word_partition.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/define_wordn_bit_ops.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/define_wordn_type.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/define_wordn_val.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/new_wordn_definition.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_BITS_WORD.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_BITS_one_one.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_BITS_onto.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_LENGTH_BITS_thm.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_NWORD_MOD.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_WORD_one_one.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_WORD_onto.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_bit_op_thms.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_function_defn_thm.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_word_val.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_wordn_cases_thm.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_wordn_const_cases.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/prove_wordn_induction_thm.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/use_wordn.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/wordn_CASES_TAC.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/wordn_CONV.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/wordn_EQ_CONV.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/wordn_NVAL_CONV.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/wordn_NWORD_CONV.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/wordn_X_CASES_TAC.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/ENTRIES/wordn_bit_ops.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/base usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/base/EXISTS_wordn_REP.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/base/wordn_ABS_REP.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/base/wordn_FN_DEF_THM.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_AND_ASSOC.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_AND_DEF.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_AND_SYM.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_NOT.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_NOT_DEF.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_OR_ASSOC.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_OR_DEF.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_OR_SYM.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_XOR_ASSOC.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_XOR_DEF.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/B_XOR_SYM.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/bitops/XOR_ASSOC.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/BV.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/VAL.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/VAL_LESS.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/VAL_LESS_EQ.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/VAL_ONE_ONE.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/VAL_ONTO.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/VAL_ONTO_LEMMA.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/WORDN.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/WORDN_0.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/WORDN_MOD.doc usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/num/WORDN_VAL.doc