[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 list

list/trace/Last is used by reachable-trans, projection-last-if,
list/trace/Nil is used by transex-append, projection-last-if, projection-append, projection-VN-unchanged, projection-VC-C-01, projection-C-empty, lastoc-C-event,
list/trace/a is used by transex-one, transex-append, projection-one-remove, projection-one-keep, projection-one, projection-last-if, projection-in-01, projection-in, projection-append, projection-VN-unchanged, projection-VC-C-01, projection-C-empty, lastoc-C-event-01, lastoc-C-event,
list/trace/app is used by transex-one, projection-one-keep, projection-one, projection-last-if, lastoc-C-event,
list/trace/app-01 is used by projection-last-if, projection-append, projection-VN-unchanged, projection-VC-C-01, lastoc-C-event,
list/trace/app-02-ant is used by projection-VC-C-01, projection-C-empty,
list/trace/app-04 is used by projection-one-remove,
list/trace/app-05 is used by projection-VN-unchanged,
list/trace/c is used by transex-append, projection-last-if, projection-in-01, projection-in, projection-append, projection-VN-unchanged, projection-VC-C-01, projection-C-empty, lastoc-C-event-01, lastoc-C-event,
list/trace/c-04 is used by projection-one-if, projection-one-01, projection-last-if,
list/trace/e is used by projection-one-empty-02, projection-one-empty-01, projection-one-empty, projection-one, projection-VN-unchanged, projection-C-empty,
list/trace/e-01 is used by projection-C-empty,
list/trace/e-02 is used by lastoc-C-event,
list/trace/in-17 is used by projection-in-01, projection-in, projection-VN-unchanged, projection-C-empty, lastoc-C-event-01, lastoc-C-event,
list/trace/in-append is used by projection-in-01, projection-in, projection-VN-unchanged, projection-C-empty, lastoc-C-event-01, lastoc-C-event,
list/trace/in-empty is used by projection-in-01, projection-in, projection-C-empty, lastoc-C-event,

Used from specification view

view/case-01 is used by view-C-VN, projection-VN-unchanged-01,
view/disj-01 is used by projection-one,
view/disj-03 is used by projection-one, projection-in-01, projection-VC-C-01,

Used from specification list-last

list-last/trace/prefix is used by prefix-closed,
list-last/trace/bin-02 is used by lastoc-C-event,
list-last/trace/last-elim is used by lastoc-C-event,
list-last/trace/lb-01 is used by lastoc-C-event,
list-last/trace/lin-01 is used by lastoc-C-event,