[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,
instantiate elem
< rtc
with gref
by mapping : elem → ref; a → r; b → r0; c → r1;rename ^* → ^*; rtc → rtc; Pelem → (rp);
end instantiate