| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Thu, 18 Jan 2018 15:25:39 +0100 | |
| changeset 59320 | 4549c6062b30 |
| parent 59216 | f4693c6f4bb2 |
| permissions | -rw-r--r-- |
| wneuper@59216 | 1 |
session Protocol = Classy + |
| wneuper@59216 | 2 |
theories |
| wneuper@59216 | 3 |
"protocol/Protocol" |
| wneuper@59216 | 4 |
"protocol/Codec_Test" |
| wneuper@59216 | 5 |
"operations/Basic" |
| wneuper@59216 | 6 |
|
| wneuper@59216 | 7 |
session "HOL-Protocol" = "HOL-Classy" + |
| wneuper@59216 | 8 |
theories |
| wneuper@59216 | 9 |
"protocol/Protocol" |
| wneuper@59216 | 10 |
"protocol/Codec_Test" |
| wneuper@59216 | 11 |
"operations/Basic" |
| wneuper@59216 | 12 |
"operations/HOL_Operations" |