Diffusion afp-devel 4dc284e7914a

Proper epsilon-syntax
4dc284e7914a
Actions

Tags

None

Subscribers

None

Description

Proper epsilon-syntax

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP81d82072756f: tuned names

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP4dc284e7914a: Proper epsilon-syntax.Aug 3 2023, 8:57 PM

Changes (2)

Path

Size

thys/

Roth_Arithmetic_Progressions/

Roth_Arithmetic_Progressions.thy

Szemeredi_Regularity/

rAFP4dc284e7914a

thys/Roth_Arithmetic_Progressions/Roth_Arithmetic_Progressions.thy

Loading...

thys/Szemeredi_Regularity/Szemeredi.thy

Loading...