.. |
document
|
Import of AFP for Isabelle 2021.
|
1 month ago |
examples
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
trac
|
Import of AFP for Isabelle 2021.
|
1 month ago |
Eisbach_Protocol_Verification.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
Examples.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
PSPSP.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
ROOT
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
Stateful_Protocol_Model.thy
|
Import of AFP for Isabelle 2021.
|
1 month ago |
Stateful_Protocol_Verification.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
Term_Abstraction.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
Term_Implication.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
Term_Variants.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |
Transactions.thy
|
Initial commit, based on AFP entry dated 2020-05-22.
|
10 months ago |