The Isabelle source files in this directory have been modified
slightly since submitting the final version of the corresponding
TOPLAS article. This is a summary of the changes.
The relation $(\leq)$ has disappeared and became part of the object
conformance check. As a consequence we renamed the relation $(\leq)_w$
to $(\leq)$.
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet am 2026-09-29)
¤
*© Formatika GbR, Deutschland
