[Imprint][Data Privacy Statement][E-Mail]
Back to main index.
View the specification.
View theorem base summary,
View theorem base listing,
the used properties by spec,
the dependency list,
the symbol table,
Used simplifier rules/spec theorems by specification
- infset-basic/In-empty
is used by
unsubsub,
unsubdel,
unsub-union-01,
union-sub-01,
union-difference,
uneq,
une-01,
unall,
subsub-del,
subdef,
sub-union-01,
sub-union,
sub-del-04,
sub-del-03,
sub-del,
sub-ade-03,
sub-ade-02,
sub-ade-01,
sub-ade,
selsub-diff,
intu-empty,
intexin,
intdel-empty,
int-notempty-01,
int-notempty,
int-inserte,
int-ins,
int-eq,
int-empty-02,
int-empty-01,
int-empty,
insdel-sub,
diff-union-03,
diff-int-01,
diff-int,
diff-idem,
diff-empty,
diff-e-01,
diff-e,
diff-del,
del-two,
del-neq-01,
del-feq,
del-eq,
del-e-02,
del-e,
del-addeq,
- infset-basic/eq
is used by
del-addeq-02,
- infset-basic/eq-03
is used by
uninsert,
del-addeq-03,
- infset-basic/in-02
is used by
union-one,
diff-subset-01,
diff-add-del,
del-addin-01,
del-addin,
del-addeq-06,
del-addeq-05,
del-addeq-01,
- infset-basic/in-03
is used by
indef,
- infset-basic/in-04
is used by
one-in,
diff-one,
del-two,
del-e-02,
del-del-one,
- infset-basic/ne-01
is used by
unsubsub,
unsubdel,
unsub-union-01,
union-sub-01,
union-difference,
uninsubdel,
uneq,
une-01,
unall,
subsub-del,
subdef,
sub-union-01,
sub-union,
sub-del-04,
sub-del-03,
sub-del,
sub-ade-03,
sub-ade-02,
sub-ade-01,
sub-ade,
selsub-diff,
intu-empty,
intexin,
intdel-empty,
int-notempty-01,
int-notempty,
int-ins,
int-eq,
int-empty-02,
int-empty-01,
int-empty,
insdel-sub,
ext,
diff-union-03,
diff-union-02,
diff-empty,
diff-del,
del-two,
del-feq,
del-eq,
del-e-02,
del-addeq,
- infset-basic/rax
is used by
unsubins-01,
unsubins,
unadd-01,
sub-union-05,
sub-union-04,
sub-union-03,
sub-union-02,
sub-union-01,
sub-ade-03,
sub-ade-02,
sub-ade-01,
sub-ade,
int-ins,
insdel-sub,
equal-add-in,
diff-subset-01,
diff-one,
diff-del-02,
diff-add-del,
delsw,
delete-subset,
delete-insert,
del-two,
del-neq-02,
del-neq-01,
del-feq-02,
del-feq-01,
del-feq,
del-e,
del-addin-01,
del-addin,
del-addeq-06,
del-addeq,
- infset-basic/sub-e
is used by
une,
int-e,
- infset-basic/sub-in
is used by
uninsubdel,
subdef,