Diffusion Isabelle 601ff5c7cad5

Tidied up horrible archaic proofs
601ff5c7cad5
Actions

Tags

None

Subscribers

None

Description

Tidied up horrible archaic proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE693d4e6cc5b8: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE601ff5c7cad5: Tidied up horrible archaic proofs.Wed, Apr 17, 11:07 PM

Changes (1)

Path

Size

src/

HOL/

Nominal/

rISABELLE601ff5c7cad5

src/HOL/Nominal/Nominal.thy

Loading...