Diffusion Isabelle 7d522732b7f2

more informative export;
7d522732b7f2
Actions

Tags

None

Subscribers

None

Description

more informative export;

Details

Provenance

Authored on

Parents

rISABELLE66fa99c85095: tuned signature -- following Export_Theory.Spec_Rule in Scala;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE7d522732b7f2: more informative export;.Dec 2 2019, 1:03 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

export_theory.ML

export_theory.scala

rISABELLE7d522732b7f2

src/Pure/Thy/export_theory.ML

Loading...

src/Pure/Thy/export_theory.scala

Loading...