Diffusion afp-devel b8d596202cef

Minor refinements
b8d596202cef
Actions

Tags

None

Subscribers

None

Description

Minor refinements

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP235abc5dda6c: tiny simplifications

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPb8d596202cef: Minor refinements.Mar 12 2023, 11:05 PM

Changes (2)

Path

Size

thys/

Ordinal_Partitions/

Erdos_Milner.thy

Omega_Omega.thy

rAFPb8d596202cef

thys/Ordinal_Partitions/Erdos_Milner.thy

Loading...

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...