Theory CoreC++

theory "CoreC++"
imports Determinism Annotate Execute
begin

end