[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/a
is used by
always-noincrease-stable,
not-always-decrease,
- nat-basic/c
is used by
always-noincrease-stable,
not-always-decrease,
- nat-basic/refl-nat
is used by
always-noincrease-stable,
not-always-decrease,
- nat-basic/s-04
is used by
always-noincrease-stable,
not-always-decrease,
- nat-basic/succ
is used by
always-noincrease-stable,
not-always-decrease,
Used from specification wellfounded