session Aggregate_Tests = Isabelle_LLVM +
  theories
    "Aggregate_Tests"  
