Theory LLVM_Basic_Main

section ‹Basic Isabelle-LLVM›
theory LLVM_Basic_Main
imports "preproc/LLVM_Codegen_Preproc"
begin
  text ‹Entrypoint for basic Isabelle-LLVM. 
    Only the semantics and code-generator, no VCG or data structure libraries
  ›

end