Diffusion Isabelle 293caf3dbecd

Tidying up BNF
293caf3dbecd
Actions

Tags

None

Subscribers

None

Description

Tidying up BNF

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEf881fd264929: More cleaning up proofs, plus a TeX fix

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE293caf3dbecd: Tidying up BNF.Jan 14 2023, 5:53 PM

Changes (3)

Path

Size

src/

HOL/

BNF_Cardinal_Arithmetic.thy

BNF_Cardinal_Order_Relation.thy

Cardinals/

Cardinal_Order_Relation.thy

rISABELLE293caf3dbecd

src/HOL/BNF_Cardinal_Arithmetic.thy

Loading...

src/HOL/BNF_Cardinal_Order_Relation.thy

Loading...

src/HOL/Cardinals/Cardinal_Order_Relation.thy

Loading...