[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 maplet

maplet/node-heap-maplet-exec-inst/at-rewrite is used by tr-fold,
maplet/node-heap-maplet-exec-inst/ex2 is used by tr-null,
maplet/node-heap-maplet-exec-inst/ex2-shift is used by tr-fold,
maplet/node-heap-maplet-exec-inst/map-null is used by tr-null,

Used from specification heap-sep

heap-sep/heap-sep-inst/and-ass is used by tr-null,
heap-sep/heap-sep-inst/and-com is used by tr-null,
heap-sep/heap-sep-inst/false-and is used by tr-null,
heap-sep/heap-sep-inst/false-rev is used by tr-null,
heap-sep/heap-sep-inst/false-sep is used by tr-null,
heap-sep/heap-sep-inst/falseH is used by tr-null,
heap-sep/heap-sep-inst/sep-ass is used by tr-null, tr-fold,
heap-sep/heap-sep-inst/sep-com is used by tr-null, tr-fold,
heap-sep/heap-sep-inst/true-and is used by tr-null,
heap-sep/heap-sep-inst/true-rev is used by tr-null,

Used from specification node

node/inj is used by tr-fold,

Used from specification tree

tree/disj is used by tr-null,

Used from specification maplet-exec

maplet-exec/node-heap-maplet-exec-inst/True is used by tr-fold,