[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 tree-path
- tree-path/empty-rec
is used by
tr-unfold-path,
- tree-path/get-base
is used by
tr-unfold-path,
- tree-path/get-rec
is used by
tr-unfold-path,
- tree-path/in-base
is used by
tr-unfold-path,
trp-ignore-subtree,
- tree-path/in-mod-samepath
is used by
tr-fold-path,
- tree-path/in-rec
is used by
tr-unfold-path,
trp-ignore-subtree,
- tree-path/put-base
is used by
trp-ignore-subtree,
- tree-path/put-rec
is used by
trp-ignore-subtree,
- tree-path/sel-mod-samepath
is used by
tr-fold-path,
Used from specification maplet
Used from specification linked-tree
Used from specification heap-sep
- heap-sep/sep
is used by
tr-unfold-path,
trp-ignore-subtree,
- heap-sep/And-inj
is used by
trp-ignore-subtree,
- heap-sep/and
is used by
tr-unfold-path,
- heap-sep/and-ass
is used by
tr-unfold-path,
trp-ignore-subtree,
- heap-sep/and-com
is used by
tr-unfold-path,
trp-ignore-subtree,
- heap-sep/emp-sep
is used by
tr-unfold-path,
- heap-sep/false-rev
is used by
tr-unfold-path,
- heap-sep/false-sep
is used by
tr-unfold-path,
- heap-sep/falseH
is used by
tr-unfold-path,
- heap-sep/prop
is used by
tr-unfold-path,
- heap-sep/prop-shift
is used by
tr-unfold-path,
- heap-sep/sep-ass
is used by
tr-unfold-path,
trp-ignore-subtree,
- heap-sep/sep-com
is used by
tr-unfold-path,
trp-ignore-subtree,
- heap-sep/split-union
is used by
tr-unfold-path,
Used from specification list