Diffusion Isabelle 3ee90f831805

clarified signature;
3ee90f831805
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE196b41b9b9c8: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE3ee90f831805: clarified signature;.Oct 31 2019, 2:29 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

export_theory.ML

rISABELLE3ee90f831805

src/Pure/Thy/export_theory.ML

Loading...

src/Pure/thm_deps.ML

Loading...