Diffusion Isabelle fc65e39ca170

clarified context;
fc65e39ca170
Actions

Tags

None

Subscribers

None

Description

clarified context;

Details

Provenance

Authored on

Parents

rISABELLEde4f151c2a34: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfc65e39ca170: clarified context;.Oct 15 2021, 1:44 AM

Changes (1)

Path

Size

src/

HOL/

Nominal/

nominal_inductive.ML

rISABELLEfc65e39ca170

src/HOL/Nominal/nominal_inductive.ML

Loading...