Diffusion Isabelle adf5e53d2b2b

export datatypes;
adf5e53d2b2b
Actions

Tags

None

Subscribers

None

Description

export datatypes;

Details

Provenance

Authored on

Parents

rISABELLE6e0ff949073e: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEadf5e53d2b2b: export datatypes;.Dec 6 2019, 3:44 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Ctr_Sugar/

Pure/

Thy/

export_theory.scala

rISABELLEadf5e53d2b2b

src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML

Loading...

src/Pure/Thy/export_theory.scala

Loading...