Diffusion afp-devel cc1da1318e1d

tidied another file
cc1da1318e1d
Actions

Tags

None

Subscribers

None

Description

tidied another file

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP46095fe69914: tidied a bit more

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPcc1da1318e1d: tidied another file.Mar 11 2023, 11:51 PM

Changes (2)

Path

Size

thys/

Ordinal/

OrdinalOmega.thy

rAFPcc1da1318e1d

thys/Ordinal/OrdinalFix.thy

Loading...

thys/Ordinal/OrdinalOmega.thy

Loading...