[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,
actualize maplet-exec-inst
with node
by morphism : obj → node; => → =>; _∃ → _∃; [ ] → [ ]; [ ] → [ ]; .new → .new; o → nd; o0 → nd0; o1 → nd1; oP → oP;
end actualize