Diffusion Isabelle 129fb11b357f

use all entity kinds from theory export, e.g. "method", "attribute";
129fb11b357f
Actions

Tags

None

Subscribers

None

Description

use all entity kinds from theory export, e.g. "method", "attribute";

Details

Provenance

Authored on

Parents

rISABELLE135787601438: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE129fb11b357f: use all entity kinds from theory export, e.g. "method", "attribute";.Nov 6 2021, 3:25 PM

makarius mentioned this in rISABELLE925b46043b84: cover all possible kinds, notably for references outside of this theory….Nov 6 2021, 7:55 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

presentation.scala

Tools/

rISABELLE129fb11b357f

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build.scala

Loading...