[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 store+set
- store+set/sparsearray/oplus-l-at-left
is used by
union-subset,
union-lookup,
union-empty-r,
- store+set/sparsearray/oplus-l-at-right
is used by
union-lookup,
union-empty-l,
- store+set/sparsearray/oplus-l-in
is used by
union-subset,
- store+set/sparsearray/oplus-l-at-left
is used by
union-subset,
union-lookup,
- store+set/sparsearray/oplus-l-at-right
is used by
union-subset,
union-lookup,
- store+set/sparsearray/oplus-l-in
is used by
union-subset,
union-lookup,
union-empty-r,
union-empty-l,
in-union,
Used from specification store
- store/sparsearray/Extension
is used by
union-empty-r,
union-empty-l,
- store/sparsearray/Subset
is used by
union-subset,
- store/sparsearray/notmemlookup
is used by
union-lookup,
union-empty-r,
union-empty-l,
- store/sparsearray/In-empty
is used by
union-empty-r,
union-empty-l,
disjoint-empty-r,
disjoint-empty-l,
Used from specification set-basic