Diffusion afp-devel bf119114669f

tidied some proofs
bf119114669f
Actions

Tags

None

Subscribers

None

Description

tidied some proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP15c9153d3107: more count_list lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPbf119114669f: tidied some proofs.Mar 24 2022, 6:44 PM

Changes (1)

Path

Size

thys/

ZFC_in_HOL/

ZFC_Cardinals.thy

rAFPbf119114669f

thys/ZFC_in_HOL/ZFC_Cardinals.thy

Loading...