Diffusion afp-devel 24488f2caddd

adapted to isabelle-dev/c095d3143047
24488f2caddd
Actions

Tags

None

Subscribers

None

Description

adapted to isabelle-dev/c095d3143047

Details

Provenance

Authored on

Parents

rAFPb5739aa85c75: uniformize capitalization

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP24488f2caddd: adapted to isabelle-dev/c095d3143047.May 13 2020, 5:34 PM

Changes (1)

Path

Size

thys/

Password_Authentication_Protocol/

Propaedeutics.thy

rAFP24488f2caddd

thys/Password_Authentication_Protocol/Propaedeutics.thy

Loading...