1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/libisabelle-protocol/ROOT	Wed Apr 06 16:56:47 2016 +0200
     1.3 @@ -0,0 +1,12 @@
     1.4 +session Protocol = Classy +
     1.5 +  theories
     1.6 +    "protocol/Protocol"
     1.7 +    "protocol/Codec_Test"
     1.8 +    "operations/Basic"
     1.9 +
    1.10 +session "HOL-Protocol" = "HOL-Classy" +
    1.11 +  theories
    1.12 +    "protocol/Protocol"
    1.13 +    "protocol/Codec_Test"
    1.14 +    "operations/Basic"
    1.15 +    "operations/HOL_Operations"