Diffusion afp-devel c541be98de9c

adapted to Isabelle/b1be35908165;
c541be98de9c
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/b1be35908165;

Details

Provenance

Authored on

Parents

rAFPd2b1144970c0: eliminate unnecessary assumption edge_antiparallel

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPc541be98de9c: adapted to Isabelle/b1be35908165;.Dec 23 2020, 9:33 PM

Changes (1)

Path

Size

thys/

Case_Labeling/

Examples/

Hoare/

Labeled_Hoare.thy

rAFPc541be98de9c

thys/Case_Labeling/Examples/Hoare/Labeled_Hoare.thy

Loading...