Diffusion Isabelle f4cd6e3b5075

prefer theory_long_name in data;
f4cd6e3b5075
Actions

Tags

None

Subscribers

None

Description

prefer theory_long_name in data;

Details

Provenance

Authored on

Parents

rISABELLE26d49c15bff0: proper theory_long_name;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf4cd6e3b5075: prefer theory_long_name in data;.Apr 20 2023, 12:44 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

Code/

rISABELLEf4cd6e3b5075

src/Pure/thm.ML

Loading...

src/Tools/Code/code_symbol.ML

Loading...