(* Title: JinjaThreads/MM/JMM.thy Author: Andreas Lochbihler *) theory JMM imports JMM_DRF SC_Legal DRF_J DRF_JVM JMM_Type JMM_Interp JMM_Typesafe JMM_J_Typesafe JMM_JVM_Typesafe JMM_Compiler_Type2 begin end