hol88-contrib-help_2.02.19940316-14_all.deb


Advertisement

Description

hol88-contrib-help - Higher Order Logic, user contributed online help files

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe i386
Package name hol88-contrib-help
Package version 2.02.19940316
Package release 14
Package architecture all
Package type deb
Installed size 404 B
Download size 26.29 KB
Official Mirror archive.ubuntu.com
The HOL System is an environment for interactive theorem proving in a
higher-order logic. Its most outstanding feature is its high degree
of programmability through the meta-language ML. The system has a
wide variety of uses from formalizing pure mathematics to
verification of industrial hardware. Academic and industrial sites
world-wide are using HOL.

Alternatives

Package Version Architecture Repository
hol88-contrib-help_2.02.19940316-14_all.deb 2.02.19940316 all Ubuntu Universe
hol88-contrib-help - - -

Download

Type URL
Binary Package hol88-contrib-help_2.02.19940316-14_all.deb
Source Package hol88

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install hol88-contrib-help deb package:
    # sudo apt-get install hol88-contrib-help

Files

Path
/usr/share/doc/hol88-contrib-help/changelog.Debian.gz
/usr/share/doc/hol88-contrib-help/copyright
/usr/share/hol88-2.02.19940316/contrib/bags/bags.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/all_subgoals.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/auto_cancel.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/cancel_tac.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/compact.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/complete_proof.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/current_goal.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/current_proof.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/do_tac.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/do_tacf.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/move_to_proof.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/name_current_proof.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/new_goal.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/proven.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/remove_proof.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/rm_proof.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_all_proofs.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_all_subgoals.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_tac.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_the_tactic.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/store_thm.doc
/usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/subgoal_tac.doc
/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/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/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/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

See Also

Package Description
hol88-contrib-source_2.02.19940316-14_all.deb Higher Order Logic, user contributed source
hol88-doc_2.02.19940316-14_all.deb Documentation for hol88
hol88-help_2.02.19940316-14_all.deb Higher Order Logic, online help files
hol88-library-help_2.02.19940316-14_all.deb Higher Order Logic, library online help files
hol88-library-source_2.02.19940316-14_all.deb Higher Order Logic, library source files
hol88-library_2.02.19940316-14_i386.deb Higher Order Logic, binary library modules
hol88-source_2.02.19940316-14_all.deb Higher Order Logic, source files
hol88_2.02.19940316-14_i386.deb Higher Order Logic, system image
holdingnuts-server_0.0.5-3_i386.deb poker server
holdingnuts_0.0.5-3_i386.deb poker client
holotz-castle-data_1.3.14-4_all.deb platform game with high doses of mystery - data files
holotz-castle-editor_1.3.14-4_i386.deb platform game with high doses of mystery - level editor
holotz-castle_1.3.14-4_i386.deb platform game with high doses of mystery
homebank-data_4.4-1_all.deb Data files for homebank
homebank_4.4-1_i386.deb Manage your personal accounts at home
Advertisement
Advertisement