hol88-help 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / help / THEOREMS / logic

This file is indexed.

/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/ is in hol88-help 2.02.19940316-35.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/AND1_THM.doc text/plain root:root 0o644 64 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/AND2_THM.doc text/plain root:root 0o644 64 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/AND_CLAUSES.doc text/plain root:root 0o644 151 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/AND_IMP_INTRO.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/AND_INTRO_THM.doc text/plain root:root 0o644 75 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/BOOL_EQ_DISTINCT.doc text/plain root:root 0o644 69 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/COND_ABS.doc text/plain root:root 0o644 86 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/COND_CLAUSES.doc text/plain root:root 0o644 99 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/COND_EXPAND.doc text/plain root:root 0o644 94 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/COND_ID.doc text/plain root:root 0o644 62 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/COND_RAND.doc text/plain root:root 0o644 84 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/COND_RATOR.doc text/plain root:root 0o644 85 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/CONJ_ASSOC.doc text/plain root:root 0o644 88 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/CONJ_SYM.doc text/plain root:root 0o644 71 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/DE_MORGAN_THM.doc text/plain root:root 0o644 110 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/DISJ_ASSOC.doc text/plain root:root 0o644 87 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/DISJ_SYM.doc text/plain root:root 0o644 68 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EQ_CLAUSES.doc text/plain root:root 0o644 117 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EQ_EXPAND.doc text/plain root:root 0o644 84 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EQ_IMP_THM.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EQ_REFL.doc text/plain root:root 0o644 50 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EQ_SYM.doc text/plain root:root 0o644 67 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EQ_SYM_EQ.doc text/plain root:root 0o644 65 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EQ_TRANS.doc text/plain root:root 0o644 84 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EXCLUDED_MIDDLE.doc text/plain root:root 0o644 58 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/EXISTS_SIMP.doc text/plain root:root 0o644 59 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/FALSITY.doc text/plain root:root 0o644 50 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/FORALL_SIMP.doc text/plain root:root 0o644 59 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/F_IMP.doc text/plain root:root 0o644 56 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/IMP_CLAUSES.doc text/plain root:root 0o644 157 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/IMP_DISJ_THM.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/IMP_F.doc text/plain root:root 0o644 56 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/IMP_F_EQ_F.doc text/plain root:root 0o644 64 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/IS_ASSUMPTION_OF.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/LEFT_AND_OVER_OR.doc text/plain root:root 0o644 98 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/LEFT_OR_OVER_AND.doc text/plain root:root 0o644 100 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/NOT_AND.doc text/plain root:root 0o644 54 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/NOT_CLAUSES.doc text/plain root:root 0o644 82 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/NOT_F.doc text/plain root:root 0o644 54 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/NOT_IMP.doc text/plain root:root 0o644 72 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/OR_CLAUSES.doc text/plain root:root 0o644 150 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/OR_ELIM_THM.doc text/plain root:root 0o644 100 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/OR_IMP_THM.doc text/plain root:root 0o644 78 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/OR_INTRO_THM1.doc text/plain root:root 0o644 68 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/OR_INTRO_THM2.doc text/plain root:root 0o644 68 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/REFL_CLAUSE.doc text/plain root:root 0o644 59 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/RIGHT_AND_OVER_OR.doc text/plain root:root 0o644 99 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/RIGHT_OR_OVER_AND.doc text/plain root:root 0o644 101 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/SELECT_REFL.doc text/plain root:root 0o644 62 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/SELECT_UNIQUE.doc text/plain root:root 0o644 85 bytes
/usr/share/hol88-2.02.19940316/help/THEOREMS/logic/TRUTH.doc text/plain root:root 0o644 38 bytes

APT Browse - Built by Thomas Orozco.