Diffusion afp-devel 72f2f7d150d6

re-instate devel changeset 6edffc003761
72f2f7d150d6
Actions

Tags

None

Subscribers

None

Description

re-instate devel changeset 6edffc003761

Details

Provenance

Authored on

Parents

rAFP753dc504efaf: reset version to devel after release fork

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (2)

Path

Size

thys/

Constructive_Cryptography/

Examples/

Secure_Channel/

Message_Authentication_Code.thy

Secure_Channel.thy

rAFP72f2f7d150d6

thys/Constructive_Cryptography/Examples/Secure_Channel/Message_Authentication_Code.thy

Loading...

thys/Constructive_Cryptography/Examples/Secure_Channel/Secure_Channel.thy

Loading...