Diffusion afp-devel 04d347968c92

some new lemmas
04d347968c92
Actions

Tags

None

Subscribers

None

Description

some new lemmas

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP390f230578c5: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP04d347968c92: some new lemmas.Feb 17 2022, 12:50 AM

Changes (3)

Path

Size

thys/

ZFC_in_HOL/

ZFC_Cardinals.thy

ZFC_Typeclasses.thy

rAFP04d347968c92

thys/ZFC_in_HOL/ZFC_Cardinals.thy

Loading...

thys/ZFC_in_HOL/ZFC_Typeclasses.thy

Loading...

thys/ZFC_in_HOL/ZFC_in_HOL.thy

Loading...