Diffusion Isabelle b156869b826a

Another Nominal example
b156869b826a
Actions

Tags

None

Subscribers

None

Description

Another Nominal example

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE8e168a3d2a23: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEb156869b826a: Another Nominal example.Wed, Apr 24, 10:21 AM

Changes (1)

Path

Size

src/

HOL/

Nominal/

Examples/

rISABELLEb156869b826a

src/HOL/Nominal/Examples/Compile.thy

Loading...