Diffusion Isabelle fec5a23017b5

Tidying up more messy proofs
fec5a23017b5
Actions

Tags

None

Subscribers

None

Description

Tidying up more messy proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEa30a1385f7d0: Starting to tidy HOL-Nominal-Examples

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEfec5a23017b5: Tidying up more messy proofs.Sun, Apr 21, 12:02 AM

Changes (1)

Path

Size

src/

HOL/

Nominal/

Examples/

rISABELLEfec5a23017b5

src/HOL/Nominal/Examples/Class1.thy

Loading...