Diffusion afp-devel dfe61dcb44e3

Backed out changeset c78f358a496d
dfe61dcb44e3
Actions

Tags

None

Subscribers

None

Description

Backed out changeset c78f358a496d

Details

Provenance

Authored on

Parents

rAFP9f7d93d1e881: merge

Branches

Unknown

Tags

Unknown

Reverts

rAFPc78f358a496d: Adapted to isabelle-dev/159e33bdddc6

Event Timeline

pruvisto committed rAFPdfe61dcb44e3: Backed out changeset c78f358a496d.May 4 2020, 9:56 PM

pruvisto added a reverted change: rAFPc78f358a496d: Adapted to isabelle-dev/159e33bdddc6.

Changes (1)

Path

Size

thys/

Password_Authentication_Protocol/

Propaedeutics.thy

rAFPdfe61dcb44e3

thys/Password_Authentication_Protocol/Propaedeutics.thy

Loading...