session Protocol = Classy +
  theories
    "protocol/Protocol"
    "protocol/Codec_Test"
    "Protocol_Pure"

session "HOL-Protocol" = "HOL-Classy" +
  theories
    "protocol/Protocol"
    "protocol/Codec_Test"
    "Protocol_Main"