Diffusion afp-devel 9793065dd1c9

slight tidying of 1.19
9793065dd1c9
Actions

Tags

None

Subscribers

None

Description

slight tidying of 1.19

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPc272e0d255f2: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP9793065dd1c9: slight tidying of 1.19.May 7 2021, 5:51 PM

Changes (1)

Path

Size

thys/

Nash_Williams/

Nash_Williams.thy

rAFP9793065dd1c9

thys/Nash_Williams/Nash_Williams.thy

Loading...