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. 1 month ago
..
document Import of AFP for Isabelle 2021. 1 month ago
examples Import of AFP for Isabelle 2021. 1 month ago
Examples.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Intruder_Deduction.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Labeled_Stateful_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Labeled_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Lazy_Intruder.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Messages.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Miscellaneous.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
More_Unification.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Parallel_Compositionality.thy Import of AFP for Isabelle 2021. 1 month ago
ROOT Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Stateful_Compositionality.thy Import of AFP for Isabelle 2021. 1 month ago
Stateful_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Stateful_Typing.thy Import of AFP for Isabelle 2021. 1 month ago
Strands_and_Constraints.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Typed_Model.thy Initial commit, based on AFP entry dated 2020-05-22. 11 months ago
Typing_Result.thy Import of AFP for Isabelle 2021. 1 month ago