Diffusion afp-devel e53c4a724e65

simplified a few proofs
e53c4a724e65
Actions

Tags

None

Subscribers

None

Description

simplified a few proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPbe51414bc47e: Some simplifications of proofs

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPe53c4a724e65: simplified a few proofs.Mar 15 2023, 10:54 PM

Changes (2)

Path

Size

thys/

Nash_Williams/

Nash_Extras.thy

Nash_Williams.thy

rAFPe53c4a724e65

thys/Nash_Williams/Nash_Extras.thy

Loading...

thys/Nash_Williams/Nash_Williams.thy

Loading...