[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
Used from specification nat-basic2
Used from specification nat-basic1
- nat-basic1/f
is used by
min-notls2,
min-notls1,
min-le-leftn,
max-notls2,
max-notls1,
max-le2,
max-le1,
- nat-basic1/ls-02
is used by
min-notls2,
min-ls-right,
max-second-ls,
max-notls1,
max-le1,
- nat-basic1/neq-01
is used by
min-le-leftn,
- nat-basic1/ref-1
is used by
min-same,
min-notls2,
min-notls1,
max-same,
max-notls2,
max-notls1,
max-le2,
max-le1,
- nat-basic1/zero
is used by
min-0-left,
max-eq-0,
max-0-left,
- nat-basic1/zero-01
is used by
min-0-right,
max-eq-0,
max-0-right,