[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
rtc-last,
rtc+-unfold,
inv-propagate,
rtc-trans,
rtc+-unfold-last,
- nat-basic/c
is used by
rtc-last,
rtc+-unfold,
inv-propagate,
rtc-trans,
rtc+-unfold-last,
- nat-basic/oz
is used by
rtc-last,
rtc+-unfold,
rtc+-unfold-last,
- nat-basic/succ
is used by
rtc-last,
rtc+-unfold,
inv-propagate,
rtc-trans,
rtc+-unfold-last,
Used from specification nat