Diffusion afp-devel 2ca1a618d041

A massive tidying
2ca1a618d041
Actions

Tags

None

Subscribers

None

Description

A massive tidying

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP2859e11cc09b: Tiny bit more tidying

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP2ca1a618d041: A massive tidying.Mar 8 2023, 12:41 AM

Changes (4)

Path

Size

thys/

Ordinal/

OrdinalArith.thy

OrdinalInduct.thy

OrdinalVeblen.thy

rAFP2ca1a618d041

thys/Ordinal/OrdinalArith.thy

Loading...

thys/Ordinal/OrdinalInduct.thy

Loading...

thys/Ordinal/OrdinalRec.thy

Loading...

thys/Ordinal/OrdinalVeblen.thy

Loading...