session Protocol = Classy +
  theories
    "protocol/Protocol"
    "protocol/Codec_Test"
    "operations/Basic"

session "HOL-Protocol" = "HOL-Classy" +
  theories
    "protocol/Protocol"
    "protocol/Codec_Test"
    "operations/Basic"
    "operations/HOL_Operations"
