Diffusion afp-devel 712e90c69be4

cosmetic tweaks to proofs
712e90c69be4
Actions

Tags

None

Subscribers

None

Description

cosmetic tweaks to proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP401da3b5743d: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP712e90c69be4: cosmetic tweaks to proofs.Apr 17 2021, 9:50 PM

Changes (2)

Path

Size

thys/

Nash_Williams/

Nash_Williams.thy

Ordinal_Partitions/

Erdos_Milner.thy

rAFP712e90c69be4

thys/Nash_Williams/Nash_Williams.thy

Loading...

thys/Ordinal_Partitions/Erdos_Milner.thy

Loading...