Diffusion afp-devel e93051f65b1a

strict_sorted now an abbreviation
e93051f65b1a
Actions

Tags

None

Subscribers

None

Description

strict_sorted now an abbreviation

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP41cc428000e3: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPe93051f65b1a: strict_sorted now an abbreviation.May 14 2021, 4:48 PM

Changes (4)

Path

Size

thys/

Nash_Williams/

Nash_Extras.thy

Ordinal_Partitions/

Library_Additions.thy

Omega_Omega.thy

ZFC_in_HOL/

rAFPe93051f65b1a

thys/Nash_Williams/Nash_Extras.thy

Loading...

thys/Ordinal_Partitions/Library_Additions.thy

Loading...

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...

thys/ZFC_in_HOL/Cantor_NF.thy

Loading...