[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-union/ext
is used by
ext,
- infset-union/subdef
is used by
subdef,
- infset-union/ext
is used by
unsubsub,
unsubdel-01,
unsubdel,
unsub-union-01,
union-sub-01,
union-sub,
union-rewone,
union-difference,
unidem,
uneq,
une-01,
une,
undel-06,
undel-05,
undel-04,
undel-02,
undel-01,
undel,
unc,
unall,
unadd-01,
unadd,
una,
subsub-del,
subdef,
sub-union-01,
sub-union,
sub-del-04,
sub-del-03,
sub-del-01,
sub-del,
sub-ade-03,
sub-ade-02,
sub-ade-01,
sub-ade,
selsub-diff,
one-min,
intu-empty,
intexin,
intdel-empty,
int-notempty-01,
int-notempty,
int-inserte,
int-inse,
int-ins,
int-idem,
int-eq,
int-empty-02,
int-empty-01,
int-empty,
int-e,
int-del-rew,
int-c,
int-a,
insdel-sub,
indef,
diff-union-03,
diff-rc,
diff-int-01,
diff-int,
diff-idem,
diff-empty,
diff-e-01,
diff-e,
diff-del,
diff-add-del,
delsw-02,
delsw-01,
delsw,
delete-insert,
del-two,
del-neq-02,
del-neq-01,
del-in-03,
del-in,
del-feq-02,
del-feq-01,
del-feq,
del-eq,
del-e-02,
del-e-01,
del-e,
del-del-one,
del-d-01,
del-d,
del-addeq-05,
del-addeq-04,
del-addeq-02,
del-addeq-01,
del-addeq,
del,
- infset-union/subdef
is used by
unsubsub,
unsubins-01,
unsubins,
unsubdel,
unsub-union-01,
unsub,
union-sub-01,
union-difference,
uneq,
subsub-del,
subset-del,
sub-union-05,
sub-union-04,
sub-union-03,
sub-union-02,
sub-union-01,
sub-union,
sub-del-05,
sub-del-04,
sub-del-03,
sub-del-02,
sub-del-01,
sub-del,
sub-ade-03,
sub-ade-02,
sub-ade-01,
sub-ade,
selsub-diff,
int-subs01,
int-eq,
insdel-sub,
diff-subset-01,
diff-subset,
diff-sub,
diff-one,
diff-del-02,
diff-del-01,
delete-subset,
- infset-basic/In-empty
is used by
unsubsub,
unsubdel,
unsub-union-01,
union-sub-01,
union-difference,
uneq,
une-01,
une,
unall,
subsub-del,
subdef,
sub-union-01,
sub-union,
sub-del-04,
sub-del-03,
sub-del-01,
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-inse,
int-ins,
int-eq,
int-empty-02,
int-empty-01,
int-empty,
int-e,
insdel-sub,
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-01,
del-e,
del-addeq,
- infset-basic/In-insert
is used by
unsubins-01,
unsubins,
union-one,
unadd-01,
unadd,
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-notempty-01,
int-notempty,
int-inserte,
int-inse,
int-ins,
int-empty,
insdel-sub,
indef,
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-05,
del-addeq-04,
del-addeq-02,
del-addeq-01,
del-addeq,
- infset-basic/eq
is used by
indef,
del,
- infset-basic/eq-03
is used by
uninsert,
del-addeq-03,
- infset-basic/in-02
is used by
del-e,
- 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-01,
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-01,
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-inse,
int-ins,
int-eq,
int-empty-02,
int-empty-01,
int-empty,
insdel-sub,
ext,
diff-empty,
diff-del,
del-two,
del-feq,
del-eq,
del-e-02,
del-e,
del-addeq,
- infset-basic/sub-in
is used by
unsubdel-01,
uninsubdel,
subdef,