Diffusion afp-devel 8d4d9ce29853

proof simplifications
8d4d9ce29853
Actions

Tags

None

Subscribers

None

Description

proof simplifications

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPc62e25857f9a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP8d4d9ce29853: proof simplifications.Oct 18 2022, 1:29 PM

Changes (2)

Path

Size

thys/

Ordinal_Partitions/

Erdos_Milner.thy

Omega_Omega.thy

rAFP8d4d9ce29853

thys/Ordinal_Partitions/Erdos_Milner.thy

Loading...

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...