1 session Protocol = Classy +
2 theories
3 "protocol/Protocol"
4 "protocol/Codec_Test"
5 "operations/Basic"
6
7 session "HOL-Protocol" = "HOL-Classy" +
8 theories
9 "protocol/Protocol"
10 "protocol/Codec_Test"
11 "operations/Basic"
12 "operations/HOL_Operations"