.. |
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 |