hol88-contrib-source (2.02.19940316dfsg-9)
2 versions available in kali/kali-last-snapshot/main/i386
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- hol88
- Architecture
- i386
- Section
- math
- Priority
- optional
- Maintainer
- Camm Maguire <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 5.5 kB
- Size expected
- 725.4 kB
- Size actual
- 725.4 kB
- Size match
Dependencies
Required package dependencies
- None
Suggested packages
Recommended additional packages
- None
Description
Higher Order Logic, user contributed source
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 8c4aed87…46ff62ec | |
| SHA-1 | 8007f737…18eb97b5 | |
| SHA-256 | b545513e…ac9f1468 | |
| SHA-512 | 41e5637a…c62b09e6 |
Contents
Files and directories included
. usr usr/share usr/share/doc usr/share/doc/hol88-contrib-source usr/share/doc/hol88-contrib-source/changelog.Debian.gz usr/share/doc/hol88-contrib-source/copyright usr/share/hol88-2.02.19940316dfsg usr/share/hol88-2.02.19940316dfsg/contrib usr/share/hol88-2.02.19940316dfsg/contrib/AKCL-mods usr/share/hol88-2.02.19940316dfsg/contrib/AKCL-mods/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/CARD usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card/card.ml usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card/mk_card.ml usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card11 usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card11/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card11/card.ml usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card11/mk_card.ml usr/share/hol88-2.02.19940316dfsg/contrib/CPO usr/share/hol88-2.02.19940316dfsg/contrib/CPO/upper_bound.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP usr/share/hol88-2.02.19940316dfsg/contrib/CSP/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/CSP/after.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/after_laws.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/boolarith1.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/boolarith2.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/choice.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/csp.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/csp_syntax.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/list_lib1.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/mu.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/order.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/par_laws.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/parallel.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/prefix.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/process.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/process_fix.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/process_ty.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/restrict.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/rules_and_tacs.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/run.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/star.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/stop.ml usr/share/hol88-2.02.19940316dfsg/contrib/CSP/traces.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Derived usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Derived/mk_derived1.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Derived/mk_derived2.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Inference usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Inference/mk_inference1.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/mk_proof1.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/mk_proof2.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/mk_proof3.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/proof_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proofaux usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proofaux/mk_proofaux1.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proofaux/mk_proofaux2.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Pterm usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Pterm/mk_Pterm1.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Pterm/mk_Pterm2.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_pretty.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_rules1.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_rules2.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_rules_test.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Type usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Type/Type_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Type/mk_Type1.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Type/mk_Type2.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Type/mk_Type3.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/defs usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/defs/defs.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/defs/ld_pair.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/ld_proof.ml usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/mk_proof.ml usr/share/hol88-2.02.19940316dfsg/contrib/PNF usr/share/hol88-2.02.19940316dfsg/contrib/PNF/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/PNF/prenex.ml usr/share/hol88-2.02.19940316dfsg/contrib/PNF/quant.ml usr/share/hol88-2.02.19940316dfsg/contrib/Predicate usr/share/hol88-2.02.19940316dfsg/contrib/Predicate/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/Predicate/OLD_RES.ml usr/share/hol88-2.02.19940316dfsg/contrib/Predicate/mk_predicate.ml usr/share/hol88-2.02.19940316dfsg/contrib/Predicate/my_misc.ml usr/share/hol88-2.02.19940316dfsg/contrib/Predicate/predicate.ml usr/share/hol88-2.02.19940316dfsg/contrib/Predicate/predicate_SUP.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/RCactsys_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/RCactsys_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/RCactsys_ex2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/RCactsys_ex3.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/ld_RCactsys.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/mk_RCactsys.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/mk_RCactsys1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Actsys/mk_RCactsys2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/RCbounded_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/RCbounded_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/ld_RCbounded.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/mk_RCbounded.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/mk_RCbounded1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/mk_RCbounded2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/mk_RCbounded3.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Bounded/mk_RCbounded4.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/RCcommand_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/RCcommand_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/ld_RCcommand.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/mk_RCcommand.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/mk_RCcommand1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/mk_RCcommand2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/mk_RCcommand3.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Command/mk_RCcommand4.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Correct usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Correct/RCcorrect_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Correct/RCcorrect_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Correct/ld_RCcorrect.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Correct/mk_RCcorrect.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Dataref usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Dataref/RCdataref_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Dataref/RCdataref_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Dataref/ld_RCdataref.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Dataref/mk_RCdataref.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Dataref/mk_RCdataref1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Dataref/mk_RCdataref2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Example usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Example/RCex_lang.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Function usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Function/RCfunction_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Function/ld_RCfunction.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Function/mk_RCfunction.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Predicate usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Predicate/RCpredicate_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Predicate/RCpredicate_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Predicate/ld_RCpredicate.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Predicate/mk_RCpredicate.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Predicate/mk_RCpredicate1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Predicate/mk_RCpredicate2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Procedure usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Procedure/RCprocedure_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Procedure/RCprocedure_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Procedure/ld_RCprocedure.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Procedure/mk_RCprocedure.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Recursion usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Recursion/RCrecursion_convs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Recursion/ld_RCrecursion.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Recursion/mk_RCrecursion.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Recursion/mk_RCrecursion1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Recursion/mk_RCrecursion2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Refine usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Refine/ld_RCrefine.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Refine/mk_RCrefine.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wellf usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wellf/ld_RCwellf.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wellf/mk_RCwellf.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/RCwintool_defs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/RCwintool_ex1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/RCwintool_ex2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/RCwintool_ex3.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/ld_RCwintool.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/mk_RCwintool.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/mk_RCwintool1.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/mk_RCwintool2.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/Wintool/mk_RCwintool3.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/defs usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/defs/defs.ml usr/share/hol88-2.02.19940316dfsg/contrib/RefCalc/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD usr/share/hol88-2.02.19940316dfsg/contrib/SECD/CU_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/CU_wordn_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/DP_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/Inc9_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/SECD/SECD_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/SYS_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/ABBREV_TAC.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/BINDER_EQ_TAC.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/COND_CASES_THEN.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/CONJUNCTS_TAC.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/EXISTS_PERM_LIST.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/MOVE_EXISTS_OUT_CONV.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/RATOR_RAND_CONV.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/SELECT_UNIQUE.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/SPLIT_CONJUNCTS.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/SYM.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/TACTICS/load_all.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/abstract_mem_type.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/buses usr/share/hol88-2.02.19940316dfsg/contrib/SECD/buses/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/SECD/buses/bus_theorems.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/buses/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/buses/mk_bus_theorems.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/constraints.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_ADD.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_AP.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_ATOM.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_CAR.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_CDR.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_CONS.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_DUM.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_EQ.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_JOIN.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_LD.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_LDC.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_LDF.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_LEQ.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_RAP.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_RTN.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_SEL.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_STOP.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_SUB.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_init.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/correctness_misc.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/cu_types.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/dp_types.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/interface.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/io.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/liveness.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/loop_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mem_abs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/microcode.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/modulo_ops.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_ADD.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_AP.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_ATOM.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_CAR.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_CDR.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_CONS.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_DUM.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_EQ.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_JOIN.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_LD.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_LD1.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_LD2.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_LDC.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_LDF.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_LEQ.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_RAP.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_RTN.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_SEL.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_STOP.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_SUB.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_init_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_level.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_proof0.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_proof_fcn.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/mu-prog_sr_proofs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_lemmas1.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_lemmas2.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_lemmas3.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_lemmas4.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_lemmas5.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_lemmas6.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_lemmas7.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_proof_fcn.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/phase_template.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/rt_CU.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/rt_DP.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/rt_PADS.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/rt_SECD.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/rt_SYS.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/simplify.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/top_SECD.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/val_defs.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/val_theorems.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/when.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/wordn usr/share/hol88-2.02.19940316dfsg/contrib/SECD/wordn/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/SECD/wordn/bus.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/wordn/mk_bus.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/wordn/mk_wordn.ml usr/share/hol88-2.02.19940316dfsg/contrib/SECD/wordn/wordn.ml usr/share/hol88-2.02.19940316dfsg/contrib/Tarski usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/curry.ml usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/examples usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/examples/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/examples/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/examples/mk_CTL01.ml usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/examples/mk_UNITY01.ml usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/mk_tarski.ml usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/recbool.ml usr/share/hol88-2.02.19940316dfsg/contrib/Tarski/tarski.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/aux_definitions.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/examples usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/examples/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/examples/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/examples/l_unity.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/examples/mk_example01.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/examples/mk_example02.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/examples/mk_example03.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/l_unity.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/leadsto_induct0.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_comp_unity.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_ensures.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_gen_induct.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_leadsto.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_state_logic.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_unity_prog.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_unless.ml usr/share/hol88-2.02.19940316dfsg/contrib/UNITY/mk_until.ml usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER/well_order usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER/well_order/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER/well_order/compat11.ml usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER/well_order/mk_transfinite.ml usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER/well_order/mk_well_order.ml usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER/well_order/well_order.ml usr/share/hol88-2.02.19940316dfsg/contrib/WELL_ORDER/well_order/wo_fns.ml usr/share/hol88-2.02.19940316dfsg/contrib/WF usr/share/hol88-2.02.19940316dfsg/contrib/WF/MYTACTICS.ml usr/share/hol88-2.02.19940316dfsg/contrib/WF/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/WF/OLD_RES.ml usr/share/hol88-2.02.19940316dfsg/contrib/WF/WF.ml usr/share/hol88-2.02.19940316dfsg/contrib/WF/mk_WF.ml usr/share/hol88-2.02.19940316dfsg/contrib/WF/predicate.ml usr/share/hol88-2.02.19940316dfsg/contrib/WF/predicate_LIB.ml usr/share/hol88-2.02.19940316dfsg/contrib/Xhelp usr/share/hol88-2.02.19940316dfsg/contrib/Xhelp/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/Z usr/share/hol88-2.02.19940316dfsg/contrib/Z/BirthdayBook.ml usr/share/hol88-2.02.19940316dfsg/contrib/Z/SCHEMA.ml usr/share/hol88-2.02.19940316dfsg/contrib/Z/TelephoneBook.ml usr/share/hol88-2.02.19940316dfsg/contrib/Z/arith-tools.ml usr/share/hol88-2.02.19940316dfsg/contrib/Z/define.ml usr/share/hol88-2.02.19940316dfsg/contrib/Z/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/Z/mk_Z.ml usr/share/hol88-2.02.19940316dfsg/contrib/Z/patch.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet/mk_zet.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet/zet.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet/zet_ind.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet/zet_tactics.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet11 usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet11/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet11/mk_zet.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet11/zet.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet11/zet_ind.ml usr/share/hol88-2.02.19940316dfsg/contrib/ZET/zet11/zet_tactics.ml usr/share/hol88-2.02.19940316dfsg/contrib/aci usr/share/hol88-2.02.19940316dfsg/contrib/aci/aci.ml usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/auxiliary.ml usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/conversions.ml usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/functions.ml usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/load_auxiliary.ml usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/rules.ml usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/tactics.ml usr/share/hol88-2.02.19940316dfsg/contrib/auxiliary/theorems.ml usr/share/hol88-2.02.19940316dfsg/contrib/bags usr/share/hol88-2.02.19940316dfsg/contrib/bags/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/bags/bags.ml usr/share/hol88-2.02.19940316dfsg/contrib/bags/load_bags.ml usr/share/hol88-2.02.19940316dfsg/contrib/bags/mk_bags.ml usr/share/hol88-2.02.19940316dfsg/contrib/bags/mk_more_arithmetic.ml usr/share/hol88-2.02.19940316dfsg/contrib/benchmark usr/share/hol88-2.02.19940316dfsg/contrib/benchmark/HOL_MULT.ml usr/share/hol88-2.02.19940316dfsg/contrib/benchmark/MULT.ml usr/share/hol88-2.02.19940316dfsg/contrib/benchmark/MULT_FUN.ml usr/share/hol88-2.02.19940316dfsg/contrib/benchmark/MULT_FUN_CURRY.ml usr/share/hol88-2.02.19940316dfsg/contrib/benchmark/mk_NEXT.ml usr/share/hol88-2.02.19940316dfsg/contrib/benchmark/unwind.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/boyer-moore.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/clausal_form.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/definitions.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/environment.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/equalities.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/generalize.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/induction.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/irrelevance.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/main.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/rewrite_rules.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/shells.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/struct_equal.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/support.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/terms_and_clauses.ml usr/share/hol88-2.02.19940316dfsg/contrib/boyer-moore/waterfall.ml usr/share/hol88-2.02.19940316dfsg/contrib/btg-tactics usr/share/hol88-2.02.19940316dfsg/contrib/btg-tactics/abbrev_tac.ml usr/share/hol88-2.02.19940316dfsg/contrib/btg-tactics/binder_eq_tac.ml usr/share/hol88-2.02.19940316dfsg/contrib/cont usr/share/hol88-2.02.19940316dfsg/contrib/cont/cont.ml usr/share/hol88-2.02.19940316dfsg/contrib/convert usr/share/hol88-2.02.19940316dfsg/contrib/convert/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/convert/conv_package.ml usr/share/hol88-2.02.19940316dfsg/contrib/convert/convert.ml usr/share/hol88-2.02.19940316dfsg/contrib/convert/more_conv.ml usr/share/hol88-2.02.19940316dfsg/contrib/convert/prune.ml usr/share/hol88-2.02.19940316dfsg/contrib/convert/unfold.ml usr/share/hol88-2.02.19940316dfsg/contrib/convert/unwind.ml usr/share/hol88-2.02.19940316dfsg/contrib/eval usr/share/hol88-2.02.19940316dfsg/contrib/eval/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/eval/eval.ml usr/share/hol88-2.02.19940316dfsg/contrib/eval/wordn.ml usr/share/hol88-2.02.19940316dfsg/contrib/fixpoints usr/share/hol88-2.02.19940316dfsg/contrib/fixpoints/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/fixpoints/fixpoints.ml usr/share/hol88-2.02.19940316dfsg/contrib/fixpoints/load_fixpoints.ml usr/share/hol88-2.02.19940316dfsg/contrib/fixpoints/mk_fixpoints.ml usr/share/hol88-2.02.19940316dfsg/contrib/fpf usr/share/hol88-2.02.19940316dfsg/contrib/fpf/ELIMINATE_TACS.ml usr/share/hol88-2.02.19940316dfsg/contrib/fpf/RENAME_TAC.ml usr/share/hol88-2.02.19940316dfsg/contrib/fpf/SSMART_EXISTS_TAC.ml usr/share/hol88-2.02.19940316dfsg/contrib/fpf/fpf.ml usr/share/hol88-2.02.19940316dfsg/contrib/greatest usr/share/hol88-2.02.19940316dfsg/contrib/greatest/compat.ml usr/share/hol88-2.02.19940316dfsg/contrib/greatest/greatest.ml usr/share/hol88-2.02.19940316dfsg/contrib/group usr/share/hol88-2.02.19940316dfsg/contrib/group/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/group/add_lib_path.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/add_lib_path.old.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/compat11.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/elt_gp.show.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/group.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/group_tac.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/inst_gp.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/load_elt_gp.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/load_group.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/load_more_gp.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/mk_elt_gp.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/mk_more_gp.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/more_gp.show.ml usr/share/hol88-2.02.19940316dfsg/contrib/group/start_groups.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-emacs usr/share/hol88-2.02.19940316dfsg/contrib/hol-emacs/init.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec/basics.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec/cons.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec/hol-eval_setup.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec/hol2ml.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec/prim.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec/rec.ml usr/share/hol88-2.02.19940316dfsg/contrib/hol-exec/t2s.ml usr/share/hol88-2.02.19940316dfsg/contrib/icl-taut usr/share/hol88-2.02.19940316dfsg/contrib/icl-taut/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/icl-taut/taut_rules.ml usr/share/hol88-2.02.19940316dfsg/contrib/int usr/share/hol88-2.02.19940316dfsg/contrib/int/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/int/equiv.ml usr/share/hol88-2.02.19940316dfsg/contrib/int/int.ml usr/share/hol88-2.02.19940316dfsg/contrib/int/useful.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/inst_int_mod.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/int_mod.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/int_mod.show.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/int_sbgp.show1.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/int_sbgp.show2.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/load_int_mod.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/mk_int_mod.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/mk_int_sbgp.ml usr/share/hol88-2.02.19940316dfsg/contrib/int_mod/temp.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer usr/share/hol88-2.02.19940316dfsg/contrib/integer/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/integer/compat11.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer/integer.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer/integer_tac.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer/load_integer.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer/load_more_arith.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer/mk_integer.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer/mk_more_arith.ml usr/share/hol88-2.02.19940316dfsg/contrib/integer/num_tac.ml usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix/group.ml usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix/kb.ml usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix/lib.ml usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix/order.ml usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix/rewrite.ml usr/share/hol88-2.02.19940316dfsg/contrib/knuth-bendix/sys.ml usr/share/hol88-2.02.19940316dfsg/contrib/koenig usr/share/hol88-2.02.19940316dfsg/contrib/koenig/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/koenig/koenig.ml usr/share/hol88-2.02.19940316dfsg/contrib/koenig/mk_koenig.ml usr/share/hol88-2.02.19940316dfsg/contrib/make_use usr/share/hol88-2.02.19940316dfsg/contrib/make_use/make_use.ml usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types/microc.ml usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types/mut_conv.ml usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types/mut_def.ml usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types/mut_eu.ml usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types/mut_thms.ml usr/share/hol88-2.02.19940316dfsg/contrib/mut_rec_types/tools.ml usr/share/hol88-2.02.19940316dfsg/contrib/mweb usr/share/hol88-2.02.19940316dfsg/contrib/mweb/Examples usr/share/hol88-2.02.19940316dfsg/contrib/mweb/Examples/lmem.ml usr/share/hol88-2.02.19940316dfsg/contrib/mweb/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/mweb/Manual usr/share/hol88-2.02.19940316dfsg/contrib/mweb/Manual/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/mweb/Manual/lmem.ml usr/share/hol88-2.02.19940316dfsg/contrib/non-unix usr/share/hol88-2.02.19940316dfsg/contrib/non-unix/site-mac.ml usr/share/hol88-2.02.19940316dfsg/contrib/pre-v2.02-rewr usr/share/hol88-2.02.19940316dfsg/contrib/pre-v2.02-rewr/new_rewriting.ml usr/share/hol88-2.02.19940316dfsg/contrib/pre-v2.02-rewr/old_rewriting.ml usr/share/hol88-2.02.19940316dfsg/contrib/pred usr/share/hol88-2.02.19940316dfsg/contrib/pred/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/pred/mk_pred.ml usr/share/hol88-2.02.19940316dfsg/contrib/pred/use_pred.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88 usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/autoload.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/examples.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/halts_logic.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/halts_vc_gen.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/hoare_logic.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/hol_match.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/load_prog_logic88.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_dijkstra.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_dynamic_logic.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_halts.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_halts_logic.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_halts_thms.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_hoare_thms.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_prog_logic88.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/mk_semantics.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/prog_logic88.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/syntax_functions.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic88/vc_gen.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92 usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/Library usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/Library/half.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/Library/imp.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/Library/rew.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/Library/rew_2.0.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/arith_hack.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/cpo.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/exseq.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/hoare.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/hol-init.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/inv.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_arith_hack.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_cpo.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_exseq.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_hoare.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_inv.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_lnum.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_pred.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_sem.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_temporal.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/l_wp.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/lnum.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/mytactics.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/pred.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/sem.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/temporal.ml usr/share/hol88-2.02.19940316dfsg/contrib/prog_logic92/wp.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code/basic_tactics.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code/lisp_pt.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code/ml_subset_pp.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code/prettyprinting.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code/print_the_goal_pp.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code/print_the_tree_pp.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/code/prooftree.ml usr/share/hol88-2.02.19940316dfsg/contrib/prooftree/loader.ml usr/share/hol88-2.02.19940316dfsg/contrib/quotient usr/share/hol88-2.02.19940316dfsg/contrib/quotient/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/quotient/load_quotient.ml usr/share/hol88-2.02.19940316dfsg/contrib/quotient/mk_quotient.ml usr/share/hol88-2.02.19940316dfsg/contrib/quotient/quotient.ml usr/share/hol88-2.02.19940316dfsg/contrib/quotient/quotientfns.ml usr/share/hol88-2.02.19940316dfsg/contrib/rec_tys_listop usr/share/hol88-2.02.19940316dfsg/contrib/rec_tys_listop/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/rec_tys_listop/load_hol21_cam_sun4.ml usr/share/hol88-2.02.19940316dfsg/contrib/rec_tys_listop/load_rec_tys_listop.ml usr/share/hol88-2.02.19940316dfsg/contrib/rec_tys_listop/rt_lop_prim_rec.ml usr/share/hol88-2.02.19940316dfsg/contrib/rec_tys_listop/rt_lop_tydefs.ml usr/share/hol88-2.02.19940316dfsg/contrib/rec_tys_listop/rt_lop_tyfns.ml usr/share/hol88-2.02.19940316dfsg/contrib/reduct usr/share/hol88-2.02.19940316dfsg/contrib/reduct/reduct.ml usr/share/hol88-2.02.19940316dfsg/contrib/reduct/rstc.ml usr/share/hol88-2.02.19940316dfsg/contrib/res_quan usr/share/hol88-2.02.19940316dfsg/contrib/res_quan/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/res_quan/cond_rewr.ml usr/share/hol88-2.02.19940316dfsg/contrib/res_quan/cond_rewrite.ml usr/share/hol88-2.02.19940316dfsg/contrib/res_quan/load_res_quan.ml usr/share/hol88-2.02.19940316dfsg/contrib/res_quan/mk_res_quan.ml usr/share/hol88-2.02.19940316dfsg/contrib/res_quan/res_quan.ml usr/share/hol88-2.02.19940316dfsg/contrib/res_quan/res_rules.ml usr/share/hol88-2.02.19940316dfsg/contrib/rewriting usr/share/hol88-2.02.19940316dfsg/contrib/rewriting/half.ml usr/share/hol88-2.02.19940316dfsg/contrib/rewriting/imp.ml usr/share/hol88-2.02.19940316dfsg/contrib/rewriting/rew.ml usr/share/hol88-2.02.19940316dfsg/contrib/rule-induction usr/share/hol88-2.02.19940316dfsg/contrib/rule-induction/algebra.ml usr/share/hol88-2.02.19940316dfsg/contrib/rule-induction/cl.ml usr/share/hol88-2.02.19940316dfsg/contrib/rule-induction/compat.ml usr/share/hol88-2.02.19940316dfsg/contrib/rule-induction/ind-defs.ml usr/share/hol88-2.02.19940316dfsg/contrib/rule-induction/mil.ml usr/share/hol88-2.02.19940316dfsg/contrib/rule-induction/opsem.ml usr/share/hol88-2.02.19940316dfsg/contrib/smarttacs usr/share/hol88-2.02.19940316dfsg/contrib/smarttacs/ELIMINATE_TACS.ml usr/share/hol88-2.02.19940316dfsg/contrib/smarttacs/RENAME_TAC.ml usr/share/hol88-2.02.19940316dfsg/contrib/smarttacs/SET_PROOFS.ml usr/share/hol88-2.02.19940316dfsg/contrib/smarttacs/SSMART_EXISTS_TAC.ml usr/share/hol88-2.02.19940316dfsg/contrib/subgoal usr/share/hol88-2.02.19940316dfsg/contrib/subgoal/subgoal.ml usr/share/hol88-2.02.19940316dfsg/contrib/temporal usr/share/hol88-2.02.19940316dfsg/contrib/temporal/temporal.ml usr/share/hol88-2.02.19940316dfsg/contrib/tex-thy-format usr/share/hol88-2.02.19940316dfsg/contrib/tex-thy-format/format_thy.ml usr/share/hol88-2.02.19940316dfsg/contrib/tooltool usr/share/hol88-2.02.19940316dfsg/contrib/tooltool/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/tooltool/doc usr/share/hol88-2.02.19940316dfsg/contrib/tooltool/doc/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/wordn usr/share/hol88-2.02.19940316dfsg/contrib/wordn/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/wordn/Manual usr/share/hol88-2.02.19940316dfsg/contrib/wordn/Manual/Makefile usr/share/hol88-2.02.19940316dfsg/contrib/wordn/binder.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/genfuns.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS usr/share/hol88-2.02.19940316dfsg/contrib/wordn/help/THEOREMS/create-doc-files.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/info-hol.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/load_wordn.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_test.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_test2.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_wordn.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_wordn_arith.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_wordn_base.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_wordn_bitops.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_wordn_ints.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/mk_wordn_num.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/more_integers.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/oconv.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_bit_op.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_bits.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_conv.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_num.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_nval.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_pack.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_rules.ml usr/share/hol88-2.02.19940316dfsg/contrib/wordn/wordn_tacs.ml