Diffusion afp-devel be51414bc47e

Some simplifications of proofs
be51414bc47e
Actions

Tags

None

Subscribers

None

Description

Some simplifications of proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPb8d596202cef: Minor refinements

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPbe51414bc47e: Some simplifications of proofs.Mar 14 2023, 8:24 PM

Changes (2)

Path

Size

thys/

Ordinal_Partitions/

Omega_Omega.thy

rAFPbe51414bc47e

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...

thys/Ordinal_Partitions/Partitions.thy

Loading...