1.1 --- a/libisabelle-1.0.1-protocol/ROOT	Wed Sep 04 10:17:53 2019 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,13 +0,0 @@
     1.4 -session Protocol = Classy +
     1.5 -  theories
     1.6 -    "protocol/Protocol"
     1.7 -    "protocol/Codec_Test"
     1.8 -    "Protocol_Pure"
     1.9 -
    1.10 -session "HOL-Protocol" = "HOL-Classy" +
    1.11 -  sessions
    1.12 -    Protocol
    1.13 -  theories
    1.14 -    Protocol.Protocol
    1.15 -    Protocol.Codec_Test
    1.16 -    "Protocol_Main"