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

lookup/lookup-def is used by Del-at,
lookup/insert-def is used by Size-insert, At-other, At-same, In-insert, Uniform-store,
lookup/lookup-def is used by Del-at, Subset, In-store, At-other, At-same, Extension,

Used from specification store

store/At-other is used by At-other,
store/At-same is used by At-same,
store/Extension is used by Extension,
store/In-insert is used by In-insert,
store/Size-insert is used by Size-insert,
store/Subset is used by Subset,
store/Del-at is used by Del-at,
store/In-store is used by In-store,
store/in-pair is used by In-store,