Theory Execute_Main

theory Execute_Main
imports
  SC_Schedulers
  PCompilerRefine
  Code_Generation
  JVM_Execute
  Java2Jinja
begin

end