Diffusion Isabelle 9a7a14117967

clarified document export;
9a7a14117967
Actions

Tags

None

Subscribers

None

Description

clarified document export;

Details

Provenance

Authored on

Parents

rISABELLEa756e464e9e3: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9a7a14117967: clarified document export;.Sep 26 2020, 4:02 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE9a7a14117967

src/Pure/Thy/thy_info.ML

Loading...