Diffusion afp-devel 25aa6648a101

neater proof
25aa6648a101
Actions

Tags

None

Subscribers

None

Description

neater proof

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP7d6c6b7a5cd8: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP25aa6648a101: neater proof.Mar 16 2021, 8:01 PM

Changes (1)

Path

Size

thys/

Nash_Williams/

Nash_Williams.thy

rAFP25aa6648a101

thys/Nash_Williams/Nash_Williams.thy

Loading...