Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Achim D. Brucker ef59bf6a36 Import of AFP for Isabelle 2021. 9 months ago
..
document Import of AFP for Isabelle 2021. 9 months ago
examples Import of AFP for Isabelle 2021. 9 months ago
Examples.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Intruder_Deduction.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Labeled_Stateful_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Labeled_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Lazy_Intruder.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Messages.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Miscellaneous.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
More_Unification.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Parallel_Compositionality.thy Import of AFP for Isabelle 2021. 9 months ago
ROOT Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Stateful_Compositionality.thy Import of AFP for Isabelle 2021. 9 months ago
Stateful_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Stateful_Typing.thy Import of AFP for Isabelle 2021. 9 months ago
Strands_and_Constraints.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Typed_Model.thy Initial commit, based on AFP entry dated 2020-05-22. 2 years ago
Typing_Result.thy Import of AFP for Isabelle 2021. 9 months ago