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"}. It is based on Solidity v0.5.16~\url{https://docs.soliditylang.org/en/v0.5.16/index.html} › end