| author | Walther Neuper <walther.neuper@jku.at> |
| Wed, 04 Sep 2019 10:17:53 +0200 | |
| changeset 59611 | 1aa20558eca8 |
| permissions | -rw-r--r-- |
| walther@59611 | 1 |
theory Protocol_Pure |
| walther@59611 | 2 |
imports |
| walther@59611 | 3 |
Pure |
| walther@59611 | 4 |
"operations/Basic" |
| walther@59611 | 5 |
"operations/ML_Expr" |
| walther@59611 | 6 |
begin |
| walther@59611 | 7 |
|
| walther@59611 | 8 |
end |