Diffusion Isabelle 34e0ddfc6dcc

More tidying of Nominal proofs
34e0ddfc6dcc
Actions

Tags

None

Subscribers

None

Description

More tidying of Nominal proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE022a9c26b14f: Tidied up another messy theory

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE34e0ddfc6dcc: More tidying of Nominal proofs.Mon, Apr 22, 11:08 PM

Changes (3)

Path

Size

src/

HOL/

Nominal/

Examples/

rISABELLE34e0ddfc6dcc

src/HOL/Nominal/Examples/Fsub.thy

Loading...

src/HOL/Nominal/Examples/Pattern.thy

Loading...

src/HOL/Nominal/Nominal.thy

Loading...