Diffusion afp-devel d2b1144970c0

eliminate unnecessary assumption edge_antiparallel
d2b1144970c0
Actions

Tags

None

Subscribers

None

Description

eliminate unnecessary assumption edge_antiparallel

Details

Provenance

Andreas Lochbihler <mail@andreas-lochbihler.de>

Authored on

Parents

rAFPf1b514b3a990: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPd2b1144970c0: eliminate unnecessary assumption edge_antiparallel.Dec 22 2020, 10:34 AM

Changes (4)

Path

Size

thys/

MFMC_Countable/

MFMC_Bounded.thy

MFMC_Reduction.thy

MFMC_Unbounded.thy

rAFPd2b1144970c0

thys/MFMC_Countable/MFMC_Bounded.thy

Loading...

thys/MFMC_Countable/MFMC_Reduction.thy

Loading...

thys/MFMC_Countable/MFMC_Unbounded.thy

Loading...

thys/MFMC_Countable/MFMC_Web.thy

Loading...