equal
deleted
inserted
replaced
1 session Protocol = Classy + |
|
2 theories |
|
3 "protocol/Protocol" |
|
4 "protocol/Codec_Test" |
|
5 "Protocol_Pure" |
|
6 |
|
7 session "HOL-Protocol" = "HOL-Classy" + |
|
8 sessions |
|
9 Protocol |
|
10 theories |
|
11 Protocol.Protocol |
|
12 Protocol.Codec_Test |
|
13 "Protocol_Main" |
|