Diffusion Isabelle a62431901140

suppress record types: not working properly;
a62431901140
Actions

Tags

None

Subscribers

None

Description

suppress record types: not working properly;

Details

Provenance

Authored on

Parents

rISABELLEc5914bdd896b: removed junk;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEa62431901140: suppress record types: not working properly;.Dec 6 2019, 5:05 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Ctr_Sugar/

rISABELLEa62431901140

src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML

Loading...