Diffusion afp-devel e928ad3a61c3

Infix notation for the less_sets relation
e928ad3a61c3
Actions

Tags

None

Subscribers

None

Description

Infix notation for the less_sets relation

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPae4ec73674cd: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPe928ad3a61c3: Infix notation for the less_sets relation.Mar 25 2021, 5:54 PM

Changes (4)

Path

Size

thys/

Nash_Williams/

Nash_Extras.thy

Nash_Williams.thy

Ordinal_Partitions/

Omega_Omega.thy

rAFPe928ad3a61c3

thys/Nash_Williams/Nash_Extras.thy

Loading...

thys/Nash_Williams/Nash_Williams.thy

Loading...

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...

thys/Ordinal_Partitions/Partitions.thy

Loading...