afp-mirror
/
Stateful_Protocol_Composition_and_Typing
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Stateful_Protocol_Compositi.../Stateful_Protocol_Compositi.../Examples.thy

6 lines
98 B
Plaintext
Raw Permalink Blame History

theory Examples
imports "examples/Example_Keyserver"
"examples/Example_TLS"
begin
end
Reference in New Issue View Git Blame Copy Permalink