Diffusion afp-devel 4b812a85fec9

Purely cosmetic
4b812a85fec9
Actions

Tags

None

Subscribers

None

Description

Purely cosmetic

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPb9a7410ee6a2: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP4b812a85fec9: Purely cosmetic.Sep 13 2022, 5:27 PM

Changes (1)

Path

Size

thys/

Roth_Arithmetic_Progressions/

Roth_Arithmetic_Progressions.thy

rAFP4b812a85fec9

thys/Roth_Arithmetic_Progressions/Roth_Arithmetic_Progressions.thy

Loading...