Diffusion afp-devel 3929a4fe783c

stronger * with + cancellation lemmas
3929a4fe783c
Actions

Tags

None

Subscribers

None

Description

stronger * with + cancellation lemmas

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP4d493338c3a7: activate simproc for FOL

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP3929a4fe783c: stronger * with + cancellation lemmas.Jun 10 2020, 7:21 PM

Changes (2)

Path

Size

thys/

ZFC_in_HOL/

ZFC_Cardinals.thy

rAFP3929a4fe783c

thys/ZFC_in_HOL/Kirby.thy

Loading...

thys/ZFC_in_HOL/ZFC_Cardinals.thy

Loading...