Diffusion afp-devel 058bb35d2e69

adjust Isabelle_Marries_Dirac to isabelle f0fa51227a23
058bb35d2e69
Actions

Tags

None

Subscribers

None

Description

adjust Isabelle_Marries_Dirac to isabelle f0fa51227a23

Details

Provenance

Authored on

Parents

rAFP91ca4136b53f: merge from afp-2020

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP058bb35d2e69: adjust Isabelle_Marries_Dirac to isabelle f0fa51227a23.Dec 9 2020, 12:39 AM

Changes (1)

Path

Size

thys/

Isabelle_Marries_Dirac/

rAFP058bb35d2e69

thys/Isabelle_Marries_Dirac/No_Cloning.thy

Loading...