Stateful_Protocol_Compositi.../Stateful_Protocol_Compositi...
Achim D. Brucker 78fe95f95f Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
..
document Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
examples Import of AFP for Isabelle 2021. 2021-03-01 05:47:16 +00:00
Examples.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00
Intruder_Deduction.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00
Labeled_Stateful_Strands.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
Labeled_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00
Lazy_Intruder.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00
Messages.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
Miscellaneous.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00
More_Unification.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
Parallel_Compositionality.thy Import of AFP for Isabelle 2021. 2021-03-01 05:47:16 +00:00
ROOT Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00
Stateful_Compositionality.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
Stateful_Strands.thy Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00
Stateful_Typing.thy Import of AFP for Isabelle 2021. 2021-03-01 05:47:16 +00:00
Strands_and_Constraints.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
Typed_Model.thy Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
Typing_Result.thy Import of AFP for Isabelle 2021. 2021-03-01 05:47:16 +00:00