[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
Used from specification list-set
- list-set/subset
is used by
swap-init-setequal,
ext-setequal,
- list-set/sub-in
is used by
elem-setequal2,
elem-setequal,
- list-set/sub-notin
is used by
elem-setequal2,
elem-setequal,
- list-set/subset-app-04
is used by
swap-init-setequal,
- list-set/subset-ref
is used by
setequal-trans3,
setequal-trans2,
setequal-trans,
setequal-refl,
- list-set/subset-trans
is used by
subset-setequal-trans2,
subset-setequal-trans1,
setequal-trans3,
setequal-trans2,
setequal-trans,
setequal-subset-trans2,
setequal-subset-trans1,
elem-setequal2,
elem-setequal,
Used from specification list