hol88-library-help 2.02.19940316-35 / usr / share / hol88-2.02.19940316 / Library / finite_sets

This file is indexed.

/usr/share/hol88-2.02.19940316/Library/finite_sets/ is in hol88-library-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/Library/finite_sets/OLD/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/finite_sets.doc text/plain root:root 0o644 6.2 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/DELETE_CONV.doc text/plain root:root 0o644 2.0 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/IMAGE_CONV.doc text/plain root:root 0o644 3.9 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/INSERT_CONV.doc text/plain root:root 0o644 2.8 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/IN_CONV.doc text/plain root:root 0o644 2.3 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/SET_INDUCT_TAC.doc text/plain root:root 0o644 1.2 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/UNION_CONV.doc text/plain root:root 0o644 2.4 KB
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/ABSORPTION.doc text/plain root:root 0o644 79 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/COMPONENT.doc text/plain root:root 0o644 70 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/DECOMPOSITION.doc text/plain root:root 0o644 99 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/EXTENSION.doc text/plain root:root 0o644 84 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/INSERT_COMM.doc text/plain root:root 0o644 102 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/INSERT_INSERT.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/IN_INSERT.doc text/plain root:root 0o644 92 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/MEMBER_NOT_EMPTY.doc text/plain root:root 0o644 84 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_EMPTY_INSERT.doc text/plain root:root 0o644 80 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_EQUAL_SETS.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_INSERT_EMPTY.doc text/plain root:root 0o644 80 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_IN_EMPTY.doc text/plain root:root 0o644 64 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NUM_SET_WOP.doc text/plain root:root 0o644 107 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/SET_CASES.doc text/plain root:root 0o644 100 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/SET_INDUCT.doc text/plain root:root 0o644 124 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/SET_MINIMUM.doc text/plain root:root 0o644 117 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_DEF.doc text/plain root:root 0o644 126 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_DELETE.doc text/plain root:root 0o644 107 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_DIFF.doc text/plain root:root 0o644 98 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_EMPTY.doc text/plain root:root 0o644 60 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_EQ_0.doc text/plain root:root 0o644 76 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_INSERT.doc text/plain root:root 0o644 106 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_INTER_LESS_EQ.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_PSUBSET.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_SING.doc text/plain root:root 0o644 64 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_SUBSET.doc text/plain root:root 0o644 90 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/CARD_UNION.doc text/plain root:root 0o644 113 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/LESS_CARD_DIFF.doc text/plain root:root 0o644 102 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/card/SING_IFF_CARD1.doc text/plain root:root 0o644 77 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/CHOICE_DEF.doc text/plain root:root 0o644 83 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/CHOICE_INSERT_REST.doc text/plain root:root 0o644 108 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/CHOICE_NOT_IN_REST.doc text/plain root:root 0o644 83 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/CHOICE_SING.doc text/plain root:root 0o644 68 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/REST_DEF.doc text/plain root:root 0o644 78 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/REST_PSUBSET.doc text/plain root:root 0o644 88 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/REST_SING.doc text/plain root:root 0o644 67 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/REST_SUBSET.doc text/plain root:root 0o644 70 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/chre/SING_IFF_EMPTY_REST.doc text/plain root:root 0o644 100 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/DELETE_COMM.doc text/plain root:root 0o644 102 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/DELETE_DEF.doc text/plain root:root 0o644 79 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/DELETE_DELETE.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/DELETE_INSERT.doc text/plain root:root 0o644 138 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/DELETE_NON_ELEMENT.doc text/plain root:root 0o644 88 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/DELETE_SUBSET.doc text/plain root:root 0o644 78 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/DIFF_INSERT.doc text/plain root:root 0o644 98 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/EMPTY_DELETE.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/INSERT_DELETE.doc text/plain root:root 0o644 95 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/IN_DELETE.doc text/plain root:root 0o644 93 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/IN_DELETE_EQ.doc text/plain root:root 0o644 125 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/SUBSET_DELETE.doc text/plain root:root 0o644 104 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/del/SUBSET_INSERT_DELETE.doc text/plain root:root 0o644 111 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/diff/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/diff/DIFF_DIFF.doc text/plain root:root 0o644 81 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/diff/DIFF_EMPTY.doc text/plain root:root 0o644 67 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/diff/DIFF_EQ_EMPTY.doc text/plain root:root 0o644 70 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/diff/EMPTY_DIFF.doc text/plain root:root 0o644 70 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/diff/IN_DIFF.doc text/plain root:root 0o644 88 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/DISJOINT_DEF.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/DISJOINT_DELETE_SYM.doc text/plain root:root 0o644 110 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/DISJOINT_EMPTY.doc text/plain root:root 0o644 90 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/DISJOINT_EMPTY_REFL.doc text/plain root:root 0o644 86 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/DISJOINT_INSERT.doc text/plain root:root 0o644 108 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/DISJOINT_SYM.doc text/plain root:root 0o644 83 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/DISJOINT_UNION.doc text/plain root:root 0o644 111 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/disj/IN_DISJOINT.doc text/plain root:root 0o644 93 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/BIJ_COMPOSE.doc text/plain root:root 0o644 101 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/BIJ_DEF.doc text/plain root:root 0o644 88 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/BIJ_EMPTY.doc text/plain root:root 0o644 114 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/BIJ_ID.doc text/plain root:root 0o644 61 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/IMAGE_SURJ.doc text/plain root:root 0o644 84 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/INJ_COMPOSE.doc text/plain root:root 0o644 101 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/INJ_DEF.doc text/plain root:root 0o644 160 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/INJ_EMPTY.doc text/plain root:root 0o644 101 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/INJ_ID.doc text/plain root:root 0o644 61 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/LINV_DEF.doc text/plain root:root 0o644 104 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/RINV_DEF.doc text/plain root:root 0o644 105 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/SURJ_COMPOSE.doc text/plain root:root 0o644 105 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/SURJ_DEF.doc text/plain root:root 0o644 152 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/SURJ_EMPTY.doc text/plain root:root 0o644 117 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/fun/SURJ_ID.doc text/plain root:root 0o644 63 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_COMPOSE.doc text/plain root:root 0o644 93 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_DELETE.doc text/plain root:root 0o644 103 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_EMPTY.doc text/plain root:root 0o644 71 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_EQ_EMPTY.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_ID.doc text/plain root:root 0o644 67 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_IN.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_INSERT.doc text/plain root:root 0o644 104 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_INTER.doc text/plain root:root 0o644 116 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_SUBSET.doc text/plain root:root 0o644 107 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IMAGE_UNION.doc text/plain root:root 0o644 107 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/image/IN_IMAGE.doc text/plain root:root 0o644 98 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sdef/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sdef/FINITE_SET_DEF.doc text/plain root:root 0o644 302 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sdef/IS_SET_REP.doc text/plain root:root 0o644 238 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sdef/set_TY_DEF.doc text/plain root:root 0o644 84 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/DELETE_EQ_SING.doc text/plain root:root 0o644 104 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/DISJOINT_SING_EMPTY.doc text/plain root:root 0o644 78 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/EQUAL_SING.doc text/plain root:root 0o644 79 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/INSERT_SING_UNION.doc text/plain root:root 0o644 87 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/IN_SING.doc text/plain root:root 0o644 71 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/NOT_EMPTY_SING.doc text/plain root:root 0o644 71 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/NOT_SING_EMPTY.doc text/plain root:root 0o644 71 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/SING.doc text/plain root:root 0o644 55 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/SING_DEF.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/sing/SING_DELETE.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/EMPTY_SUBSET.doc text/plain root:root 0o644 67 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/INSERT_SUBSET.doc text/plain root:root 0o644 103 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/NOT_PSUBSET_EMPTY.doc text/plain root:root 0o644 74 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/PSUBSET_DEF.doc text/plain root:root 0o644 91 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/PSUBSET_INSERT_SUBSET.doc text/plain root:root 0o644 117 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/PSUBSET_IRREFL.doc text/plain root:root 0o644 68 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/PSUBSET_MEMBER.doc text/plain root:root 0o644 109 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/PSUBSET_TRANS.doc text/plain root:root 0o644 101 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/SUBSET_ANTISYM.doc text/plain root:root 0o644 94 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/SUBSET_DEF.doc text/plain root:root 0o644 90 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/SUBSET_EMPTY.doc text/plain root:root 0o644 80 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/SUBSET_INSERT.doc text/plain root:root 0o644 109 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/SUBSET_REFL.doc text/plain root:root 0o644 63 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/subs/SUBSET_TRANS.doc text/plain root:root 0o644 97 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/ root:root 0o755
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/DELETE_INTER.doc text/plain root:root 0o644 101 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/EMPTY_UNION.doc text/plain root:root 0o644 100 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INSERT_INTER.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INSERT_UNION.doc text/plain root:root 0o644 129 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INSERT_UNION_EQ.doc text/plain root:root 0o644 104 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INTER_ASSOC.doc text/plain root:root 0o644 98 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INTER_COMM.doc text/plain root:root 0o644 75 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INTER_EMPTY.doc text/plain root:root 0o644 103 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INTER_IDEMPOT.doc text/plain root:root 0o644 68 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INTER_OVER_UNION.doc text/plain root:root 0o644 113 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/INTER_SUBSET.doc text/plain root:root 0o644 110 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/IN_INTER.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/IN_UNION.doc text/plain root:root 0o644 89 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/SUBSET_INTER_ABSORPTION.doc text/plain root:root 0o644 95 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/SUBSET_UNION.doc text/plain root:root 0o644 110 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/SUBSET_UNION_ABSORPTION.doc text/plain root:root 0o644 95 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/UNION_ASSOC.doc text/plain root:root 0o644 98 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/UNION_COMM.doc text/plain root:root 0o644 75 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/UNION_EMPTY.doc text/plain root:root 0o644 97 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/UNION_IDEMPOT.doc text/plain root:root 0o644 68 bytes
/usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/unin/UNION_OVER_INTER.doc text/plain root:root 0o644 113 bytes

APT Browse - Built by Thomas Orozco.