Diffusion Isabelle 0ad6f6508274

Tidying of some very old proofs
0ad6f6508274
Actions

Tags

None

Subscribers

None

Description

Tidying of some very old proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEefc220128637: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE0ad6f6508274: Tidying of some very old proofs.Oct 14 2022, 4:48 PM

Changes (10)

Path

Size

src/

HOL/

Auth/

Kerberos_BAN.thy

NS_Public_Bad.thy

Smartcard/

rISABELLE0ad6f6508274

src/HOL/Auth/Event.thy

Loading...

src/HOL/Auth/KerberosIV.thy

Loading...

src/HOL/Auth/KerberosV.thy

Loading...

src/HOL/Auth/Kerberos_BAN.thy

Loading...

src/HOL/Auth/Message.thy

Loading...

src/HOL/Auth/NS_Public.thy

Loading...

src/HOL/Auth/NS_Public_Bad.thy

Loading...

src/HOL/Auth/NS_Shared.thy

Loading...

src/HOL/Auth/OtwayRees.thy

Loading...

src/HOL/Auth/Smartcard/Smartcard.thy

Loading...