[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 nat-basic
- nat-basic/f
is used by
id-idx-ls1,
id-idx-ls0,
id-idx-imp-ls-1,
id-idx-imp-ls-0,
id-idx-fwd-1,
id-idx-fwd-0,
- nat-basic/lf-01
is used by
id-idx-ls1,
id-idx-ls0,
id-idx-fwd-1,
id-idx-fwd-0,
- nat-basic/lf-02
is used by
id-idx-ls1,
id-idx-ls0,
- nat-basic/ls-02
is used by
id-idx-ls1,
id-idx-ls0,
Used from specification nat
Used from specification lprops
Used from specification index-array