section‹ The Main Entry Point› theory
Solidity_Main imports
Valuetypes
Storage
Environment
Statements begin text‹
This theory is the main entry point into the session Solidity, i.e., it serves the same purpose
as @{theory "Main"} for the session @{session "HOL"}.
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.
