Diffusion Isabelle 2dee5cd42fde

clarified name: avoid clashes;
2dee5cd42fde
Actions

Tags

None

Subscribers

None

Description

clarified name: avoid clashes;

Details

Provenance

Authored on

Parents

rISABELLEe64c249d3d98: proper dynamic position of application context, e.g. relevant for…

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE2dee5cd42fde: clarified name: avoid clashes;.Dec 2 2019, 4:28 PM

Changes (1)

Path

Size

src/

Pure/

Isar/

specification.ML

rISABELLE2dee5cd42fde

src/Pure/Isar/specification.ML

Loading...