[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 heap-sep
- heap-sep/Imp
is used by
axiom,
wand-right,
wand-elim,
strengthen-right,
wand-left,
weaken-left,
- heap-sep/sep
is used by
wand-right,
wand-elim,
wand-left,
- heap-sep/wand
is used by
wand-right,
wand-elim,
wand-left,
- heap-sep/Imp1
is used by
wand-elim,
strengthen-right,
wand-left,
- heap-sep/Imp2
is used by
axiom,
- heap-sep/sep-ass
is used by
axiom,
wand-right,
strengthen-right,
weaken-left,
- heap-sep/sep-com
is used by
axiom,
wand-right,
strengthen-right,
weaken-left,
- heap-sep/split-union
is used by
wand-right,
- heap-sep/true-elim
is used by
strengthen-right,
weaken-left,
Used from specification heap