Diffusion Isabelle 40a3fc07a587

More tidying of proofs
40a3fc07a587
Actions

Tags

None

Subscribers

None

Description

More tidying of proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEb156869b826a: Another Nominal example

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE40a3fc07a587: More tidying of proofs.Wed, Apr 24, 9:56 PM

Changes (4)

Path

Size

src/

HOL/

Nominal/

Examples/

rISABELLE40a3fc07a587

src/HOL/Nominal/Examples/Crary.thy

Loading...

src/HOL/Nominal/Examples/Fsub.thy

Loading...

src/HOL/Nominal/Examples/Lam_Funs.thy

Loading...

src/HOL/Nominal/Examples/W.thy

Loading...