Diffusion afp-devel 1e065f54de8c

proof simplification
1e065f54de8c
Actions

Tags

None

Subscribers

None

Description

proof simplification

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP712e90c69be4: cosmetic tweaks to proofs

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP1e065f54de8c: proof simplification.Apr 18 2021, 8:03 PM

Changes (1)

Path

Size

thys/

Ordinal_Partitions/

Erdos_Milner.thy

rAFP1e065f54de8c

thys/Ordinal_Partitions/Erdos_Milner.thy

Loading...