Diffusion Isabelle cf11a7f0a5f0

Tidying up another Nominal example (SOS)
cf11a7f0a5f0
Actions

Tags

None

Subscribers

None

Description

Tidying up another Nominal example (SOS)

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE378593bf5109: Tidying up another of the nominal examples

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEcf11a7f0a5f0: Tidying up another Nominal example (SOS).Tue, Apr 23, 10:58 PM

Changes (1)

Path

Size

src/

HOL/

Nominal/

Examples/

rISABELLEcf11a7f0a5f0

src/HOL/Nominal/Examples/SOS.thy

Loading...