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)$.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
