Diffusion afp-devel 5b179b8ac1fa

more proof tidying
5b179b8ac1fa
Actions

Tags

None

Subscribers

None

Description

more proof tidying

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP30f9c323e6d0: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP5b179b8ac1fa: more proof tidying.May 5 2021, 5:30 PM

Changes (2)

Path

Size

thys/

Ordinal_Partitions/

Omega_Omega.thy

ZFC_in_HOL/

rAFP5b179b8ac1fa

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...

thys/ZFC_in_HOL/Cantor_NF.thy

Loading...