[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 set-union

set-union/Difference is used by toSet-diff-old, toSet-diff-new,
set-union/Union is used by toSet-app,

Used from specification set-basic

set-basic/Extension is used by toSet-one, toSet-empty, toSet-diff-old, toSet-diff-new, toSet-app,
set-basic/In-empty is used by toSet-empty,
set-basic/In-insert is used by toSet-diff-old, toSet-diff-new,
set-basic/in-02 is used by toSet-diff-old,
set-basic/in-04 is used by toSet-one,
set-basic/size-zero is used by toSet-empty,
set-basic/size-zero-01 is used by toSet-empty,

Used from specification list

list/a is used by toSet-app,
list/in-17 is used by toSet-one,
list/in-append is used by toSet-app,
list/in-empty is used by toSet-empty,