Cross Reference: insdel
xref
: /
seL4-l4v-10.1.1
/
HOL4
/
src
/
pred_set
/
help
/
thms
/
insdel
/
Home
History
Annotate
only in
this directory
Name
Date
Size
..
25-Jul-2019
15
ABSORPTION.doc
H
A
D
25-Jul-2019
77
COMPONENT.doc
H
A
D
25-Jul-2019
68
DECOMPOSITION.doc
H
A
D
25-Jul-2019
97
DELETE_COMM.doc
H
A
D
25-Jul-2019
100
DELETE_DEF.doc
H
A
D
25-Jul-2019
77
DELETE_DELETE.doc
H
A
D
25-Jul-2019
89
DELETE_INSERT.doc
H
A
D
25-Jul-2019
136
DELETE_NON_ELEMENT.doc
H
A
D
25-Jul-2019
86
DELETE_SUBSET.doc
H
A
D
25-Jul-2019
76
DIFF_INSERT.doc
H
A
D
25-Jul-2019
96
DISJOINT_INSERT.doc
H
A
D
25-Jul-2019
106
EMPTY_DELETE.doc
H
A
D
25-Jul-2019
72
IN_DELETE.doc
H
A
D
25-Jul-2019
91
IN_DELETE_EQ.doc
H
A
D
25-Jul-2019
123
IN_INSERT.doc
H
A
D
25-Jul-2019
90
INSERT_COMM.doc
H
A
D
25-Jul-2019
100
INSERT_DEF.doc
H
A
D
25-Jul-2019
90
INSERT_DELETE.doc
H
A
D
25-Jul-2019
93
INSERT_DIFF.doc
H
A
D
25-Jul-2019
123
INSERT_INSERT.doc
H
A
D
25-Jul-2019
89
INSERT_INTER.doc
H
A
D
25-Jul-2019
127
INSERT_SUBSET.doc
H
A
D
25-Jul-2019
101
INSERT_UNION.doc
H
A
D
25-Jul-2019
127
INSERT_UNION_EQ.doc
H
A
D
25-Jul-2019
102
INSERT_UNIV.doc
H
A
D
25-Jul-2019
71
NOT_EMPTY_INSERT.doc
H
A
D
25-Jul-2019
78
NOT_INSERT_EMPTY.doc
H
A
D
25-Jul-2019
78
PSUBSET_INSERT_SUBSET.doc
H
A
D
25-Jul-2019
115
SET_CASES.doc
H
A
D
25-Jul-2019
98
SUBSET_DELETE.doc
H
A
D
25-Jul-2019
102
SUBSET_INSERT.doc
H
A
D
25-Jul-2019
107
SUBSET_INSERT_DELETE.doc
H
A
D
25-Jul-2019
109