Diffusion Isabelle 9dafcf6f152b

proper theory_long_name;
9dafcf6f152b
Actions

Tags

None

Subscribers

None

Description

proper theory_long_name;

Details

Provenance

Authored on

Parents

rISABELLE661e9bc0411e: updated screenshots;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9dafcf6f152b: proper theory_long_name;.Jan 18 2021, 1:41 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE9dafcf6f152b

src/Pure/Thy/bibtex.ML

Loading...