Diffusion Isabelle ff11af12dfdd

clarified signature;
ff11af12dfdd
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE2e610951f79a: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEff11af12dfdd: clarified signature;.Nov 2 2019, 12:33 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Thy/

export_theory.ML

rISABELLEff11af12dfdd

src/Pure/PIDE/xml.ML

Loading...

src/Pure/Thy/export_theory.ML

Loading...