Package - hol88-contrib-help
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/hol88/hol88-contrib-help_2.02.19940316dfsg-6_all.deb (Size: 22.9KiB)| Property | Value |
|---|---|
| Package | hol88-contrib-help |
| Source | hol88 |
| Version | 2.02.19940316dfsg-6 |
| Installed-Size | 139 |
| Maintainer | Camm Maguire |
| Architecture | all |
| Description | Higher Order Logic, user contributed online help files |
| Description-md5 | d78dae76f790d231cd99bcb9d7919b79 |
| Section | math |
| Priority | optional |
| Filename | pool/main/h/hol88/hol88-contrib-help_2.02.19940316dfsg-6_all.deb |
| Size | 23484 |
| MD5sum | 17970ecc3e2c437682b868d93cc674e6 |
| SHA256 | 6fabf9867fa805ab97ad2f974dfaecc2241f39a58f6028ec2a47fb4d96647a02 |
Files in package
- /usr/share/doc/hol88-contrib-help/changelog.Debian.gz
- /usr/share/doc/hol88-contrib-help/copyright
- /usr/share/hol88-2.02.19940316dfsg/contrib/bags/bags.doc
- /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/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/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/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/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