Diffusion Isabelle b1f3e86a4745

clarified signature: store full theory name;
b1f3e86a4745
Actions

Tags

None

Subscribers

None

Description

clarified signature: store full theory name;

Details

Provenance

Authored on

Parents

rISABELLEdd74e0558fd1: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEb1f3e86a4745: clarified signature: store full theory name;.Dec 9 2019, 11:17 AM

Changes (3)

Path

Size

src/

Pure/

General/

Tools/

Code/

rISABELLEb1f3e86a4745

src/Pure/General/name_space.ML

Loading...

src/Pure/sign.ML

Loading...

src/Tools/Code/code_symbol.ML

Loading...